Comment on Racket-on-Chez StatusparentComments−kryptiskt6yI made a chez scheme backend for Idris a couple of years ago: https://github.com/melted/idris-chezAbout 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.
Comments
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.