It seems more likely that there is exactly one way forward.
-
-
-
And I can safely destroy everything I’ve done so far!
End of conversation
New conversation -
-
-
Is there a dependent lollipop in Idris?
-
No, but that is the possibility I’m exploring
- 1 more reply
New conversation -
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Linear types only allow you to be down one rabbit hole at any given time.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Single-threaded dataflow is a bliss!
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.