As someone who loves fixpoints, you can't imagine how this screenshot makes me happy!
-
-
-
I see no proof of this being a fixpoint. There should be a cmp command as well. :)
- 1 more reply
New conversation -
-
-
Didn't know you were working on an Idris-to-shell compiler!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
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.
