On hearing that I'm working on an Idris 2, people are full of exciting suggestions as to what it should do. So here's the plan:
a) Be pretty much exactly the same as Idris 1, only work better
b) Any differences due to being based on QTT (HT @pigworker and @bentnib)
-
Show this thread
-
But will it run whitespace code?
1 reply 0 retweets 2 likes
At least as well as Idris 1 does.
12:47 PM - 12 Sep 2018
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.