I didn't expect this to work. Plenty still to do here, and it's not quite the type I'd want, but linear types really are quite fun...pic.twitter.com/nNe3RZ0H5t
-
-
does that mean you're supporting arbitrary linearity? i saw haskell wants to attach single linearity to the arrow with a 'linear arrow', but it's not clear how this extends to arbitrary linearity.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
thank you
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.