I looked at reddit and found out Idris 2 has all been done before. So that'll save me some time.
-
Show this thread
-
Replying to @edwinbrady
"Done" and "executed into a usable language" are drastically different notions, and IMO conflating one for the other is the most armchair critique you can make of any language effort. In theory, there is no different between theory and practice. In practice, however...
1 reply 0 retweets 1 like
Replying to @add_rcx
As far as I could tell, this person thought "someone knows how to do it" and "everyone already does it" were equivalent. I'm certainly not going to stop having fun because Someone Is Wrong On The Internet :)
3:32 PM - 15 Jan 2020
0 replies
0 retweets
3 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.