Asked abt exercise from "Type-driven development in #Idris", turns out hit a compiler bug, a hour or so later @edwinbrady pushes a fix, wow
-
-
Replying to @GlebAlexeyev
This is only possible when I make a trivial mistake, so I hope it is not the norm :). (I have added a test for it…)
1 reply 0 retweets 0 likes -
Replying to @edwinbrady
I didn't mean to suggest that bugs are norm in Idris
1 reply 0 retweets 0 likes
Replying to @GlebAlexeyev
I didn’t think you did! I just don’t want to promise this efficiency in general :)
8:01 AM - 14 Mar 2017
0 replies
0 retweets
1 like
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.