@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.
-
-
Replying to @edwinbrady
@edwinbrady@jwiegley what would it mean to make it easier? Better allow#Idris as a library?1 reply 0 retweets 0 likes
Replying to @puffnfresh
@puffnfresh Basically, yes. Easier access to the code generator machinery. @jwiegley
8:49 AM - 1 Aug 2014
0 replies
0 retweets
0 likes
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.