I don't know how well any of this will work, of course, other than the Core. But it type checks, so, What Could Possibly Go Wrong?
-
-
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Well now you’ve just given away the game.
-
I thought that game was given away long ago :)
- 3 more replies
New conversation -
-
-
Looking forward to it!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I am excited about the new Idris version, in particular, faster compile times will be much appreciated! I have enjoyed your book, it has done a lot for my deeper appreciation of types.
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.