I've been playing with Racket-on-Chez as a possible backend for Idris 2. Amusingly, it outperforms Chez more than I expected.
-
Show this thread
-
By which I mean I have at least one example where it consistently wins. I might have to switch defaults. It's much easier to install too...
4 replies 0 retweets 20 likesShow this thread -
Replying to @edwinbrady
What happened to idris-on-OCaml?https://github.com/stedolan/idris-malfunction …
1 reply 0 retweets 5 likes -
Replying to @yminsky
Still moving, courtesy of
@ioanluca7 and@bentnib. Probably the right way to go in the long run too, but scheme is easier for me to work with at the moment just because I know it.2 replies 0 retweets 5 likes -
hey! yes, we've got this far.. https://github.com/ioanluca/real-world-idris …
1 reply 3 retweets 10 likes
I really need to come and visit so you can show me around this properly. It will be a lovely escape from teaching if you have time in the next couple of months...
-
-
Sure thing!
0 replies 0 retweets 1 likeThanks. Twitter will use this to make your timeline better. UndoUndo
-
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.