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...
-
Show this thread
-
Replying to @edwinbrady
Honestly, strictness in Idris is very much appreciated!
1 reply 0 retweets 7 likes
Replying to @TechnoEmpress
It certainly is by me :).
12:42 PM - 17 Dec 2018
0 replies
0 retweets
7 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.