Doing some, er, Boring Idris.https://github.com/edwinb/IdrisApp/blob/master/tests/TestEx.idr …
I've had that open in a browser tab for a bit now... Will actually read it soon! And probably ask questions...
-
-
Just visit Ljubljana, and to make it fun arrive on January 31st.
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.