@ydewit Hi Yuri, I'm wondering what happened with your Idris GraalVM project, idris-ivor?
-
-
Replying to @ScalaWilliam
Hi
@ScalaWilliam, it saw little progress unfortunately. The first reason is that my free time has been sucked into a masters degree. And I think the final reason, and a more recent one, is that I am not sure anymore what is the future of Idris (Blodwen == Idris2?)1 reply 0 retweets 0 likes -
Replying to @ydewit
Interesting. Was unaware of Blodwen. What do you have to say about this
@edwinbrady ?1 reply 0 retweets 0 likes -
Replying to @ScalaWilliam @ydewit
It is a new implementation of Idris - it'll be mostly the same (that is, it won't be gratuitously incompatible) but it'll be faster and more robust... that's the plan anyway.
1 reply 0 retweets 3 likes -
Replying to @edwinbrady @ScalaWilliam
Is that basically a new implementation only or broader? Is there any literature you can point us, if I may ask?
2 replies 0 retweets 1 like
No literature yet. I'm in full on hacking mode at the minute. There will be things soon enough...
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.