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
-
for people who just had a hard time googling it, I assume QTT = "Quantitative Type Theory", from http://lambda-the-ultimate.org/node/5453 ?
1 reply 3 retweets 14 likes
That's the one, yes. I ran out of space...
12:50 PM - 12 Sep 2018
1 reply
0 retweets
2 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.