Search results

Discuss how to use linear constraints with a variable amount of linear arguments

Status: Open.

#11 In tweag/linear-constraints;

· facundominguez opened on Nov 2, 2019

Plan for linear implicit arguments

Status: Open.

#10 In tweag/linear-constraints;

· aspiwack opened on Jun 14, 2019

TODO: write definitions of combinators for do-notation desugaring

Status: Open.

#9 In tweag/linear-constraints;

· aspiwack opened on Mar 15, 2019

Examples from Mezzo

Status: Open.

#8 In tweag/linear-constraints;

· aspiwack opened on Mar 15, 2019

Subclass relationships between Read/Write/Own

Status: Open.

#7 In tweag/linear-constraints;

· aspiwack opened on Mar 15, 2019

Don't forget about ApplicativeDo

Status: Open.

#6 In tweag/linear-constraints;

· aspiwack opened on Mar 15, 2019

IO with integrated constraint

Status: Open.

#5 In tweag/linear-constraints;

· aspiwack opened on Mar 15, 2019

Some difficulties to keep track of

Status: Open.

#4 In tweag/linear-constraints;

· aspiwack opened on Jan 17, 2019

Constrain format of a DSL

example

Status: Open.

#3 In tweag/linear-constraints;

· aspiwack opened on Dec 20, 2018

Arrays with an ownership system

example

Status: Open.

#2 In tweag/linear-constraints;

· aspiwack opened on Dec 20, 2018

File handles without manual, explicit threading

example

Status: Open.

#1 In tweag/linear-constraints;

· aspiwack opened on Dec 20, 2018