omg, now I just want to rewrite my whole #100DaysOfCode programming language project in Idris 2
@edwinbrady, would that be a good idea? Or is it too experimental yet?
Replying to @NickSeagull
Please have a go :). It'll only help make the language better, and the syntax isn't going to change.
12:49 PM - 9 Jul 2019
0 replies
0 retweets
4 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.