Dear Joseph,
My familiarity with Liquid Haskell is evidently less than what I'd like to
as I don't know what you mean by a ghost proof term in this context. That
being said, there are design decisions to make regarding the 0
multiplicity. The biggest one is: can we pattern-match on 0-multiplicity
Joseph
Great!
At the moment we have one undisputed King of Linear Haskell, and that is
Arnaud Spiwak (cc'd). He's the person to talk to.
Everyone: it would great to broaden the base. Relying only on Arnaud puts
him under pressure; it'd be great to have more champions for Linear Haskell
and its
Hello GHC developers,
I am Joseph Zullo, a PhD student at Purdue University. I am newly subscribed to
this mailing list and my approval for GitLab is awaiting approval: my username
is jazullo. I may be interested in adding Zero as a multiplicity to Linear
Haskell as discussed in the source code
