I'll be hosting my first Idris programmer meetup here in Honolulu as soon as I find somebody else here who knows what Idris is. An excellent opportunity to spend lots of time doing something totally unprofitable. Email an original (trivial) Idris program to brian@briansmith.org.
-
-
I can send you a broken AGDA program too... I started reading the Idris book a while ago, but paused to check out The Little Typer.
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.