I've just learned, via [some web site] that being strict will hamper Idris 2 significantly. Much as I like Haskell syntax, sometimes I think it would have been better to model Idris on something else...
-
-
Sir, you are the academic. I'm the engineer. You should care about decidability and likewise stuff, heh.
-
Indeed. As an academic, of course, I have never implemented any actual software :)
- 1 more reply
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.