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
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…)
-
-
I didn't mean to suggest that bugs are norm in Idris
-
I didn’t think you did! I just don’t want to promise this efficiency in general :)
End of conversation
New conversation -
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.