News for hackers. Stuff that matters.
Re:Racket-on-Chez Status by kryptiskt on Friday February 21, 2020 @04:58AM (#22382059)
I made a chez scheme backend for Idris a couple of years ago: https://github.com/melted/idris-chez

About the only notable thing with it (apart from inspiring the target for Idris 2) is that it implements the C FFI, so it will handle Idris programs made to target C.

There are no comments on this comment yet.