So just had an @idrislang moment where the code typechecked but I was sure there was a bug. Only bug was in my brain. I guess it's true: If it typechecks, ship it! Thanks @edwinbrady for the great (but brainwrangling) language :)
This keeps happening to me too... One day I'll learn that the type checker isn't as bad as I think :)
-
-
Hehe, great to hear it's just not us idris noobs that have this issue. While I have you here let me thank you for the great book! Half way through Core Idris and already learned a lot!
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.