@edwinbrady Whenever I read the #idris tutorial I get very excited, but then I come to the strict by default part and get sad. Every time.
-
-
@edwinbrady I didn't think a tweet would change anything, but the idea of alternate backends is heartening. Thanks!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.