@edwinbrady After today's talk, you're my new hero. Idris is at the top of my list.
-
-
Replying to @rickasaurus
@rickasaurus@edwinbrady do you know what GADTs are yet? Idris has even better ones!4 replies 0 retweets 0 likes -
Replying to @copumpkin
@copumpkin@rickasaurus@edwinbrady This is amazing. Are there any perf/memory usage benchmarks for#idris?1 reply 0 retweets 0 likes
Replying to @deech
@deech Not yet. My next priority is making it go faster though... @copumpkin @rickasaurus
4:38 AM - 26 Sep 2013
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.