Arnaud Spiwack
Arnaud Spiwack
The game plan is: - All variables are annotated with a list `[(Name, Mult)]` corresponding to the usage environment of their left-hand side. - This is in addition to the...
This is a pretty non-specific title for a pretty non-specific issue. Basically, static argument transform _should_ be absolutely good a transformation now that we have a rule for recursive-let to...
Linear values are not compatible with lazy pattern such as ```haskell let (x,y) = u in (y,x) ``` This would necessary yield a linter error as it will be elaborated...
Linear view patterns are incorrectly handled. It is not clear yet if we can correctly have linear view patterns, or if they need to be rejected.
The Arrow syntax type checking is full of dubious Omegas. It may be the right thing to do (even though we may also consider #11). But it needs to be...
In the function performing η-reduction, in Core, we implemented a very naive check that η-reduction does not change unrestricted arrows to linear arrows, which would break typing. We ought to...
_Depends on #59_ In #59, unification of multiplicity polynomials is done syntactically (in particular `(p + q) + r` will not unify with `p + (q + r)`). This won't...
Hello, and thanks for the good work. This is a design proposal Both `find` and `canonicalize`, as defined, are abstraction breaking, because the data structure is not in a sound...
When connecting to a machine it deployed (at least on virtualbox), nixops emits numerous time warnings of the form: ``` machine> /etc/ssh/ssh_config line 53: Unsupported option "gssapiauthentication" machine> /etc/ssh/ssh_config line...
First of all: thanks for the great library. I'm puzzled by something (which may just stem from me not knowing enough Nix). Theres's this [suggestedOverlay.nix](https://github.com/cdepillabout/stacklock2nix/blob/main/nix/build-support/stacklock2nix/suggestedOverlay.nix) file which you maintain. But...