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
-
Replying to @edwinbrady
Will you be at ICFP? If so you want to talk about Idris 2 + Parallelism?
1 reply 0 retweets 1 like -
Replying to @josecalderon
Sadly not, too much going on this year. But that's certainly a thing that needs talking about...
1 reply 0 retweets 1 like -
Replying to @edwinbrady
Well, perhaps next time I'm in York I'll pop up to Fife and we'll chat about it.
1 reply 0 retweets 1 like
Replying to @josecalderon
Sure, please let me know if you're likely to be around!
2:55 PM - 12 Sep 2018
0 replies
0 retweets
1 like
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.