Talking with @edwinbrady for @podcastcode today. Edwin is leading the development of Idris http://www.idris-lang.org/ Send in your questions 
-
-
what was your motivation for strictness, per evaluation, in Idris?
1 reply 0 retweets 0 likes -
Replying to @Gentmen
sorry, saw it too late. Could you answer,
@edwinbrady?1 reply 0 retweets 0 likes
That’s quite an easy one… http://docs.idris-lang.org/en/latest/faq/faq.html#why-does-idris-use-eager-evaluation-rather-than-lazy …
1:59 AM - 14 Dec 2016
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.