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)
-
-
This Tweet is unavailable.
-
ME TOO
- 1 more reply
-
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.