I made a chez scheme backend for Idris a couple of years ago: https://github.com/melted/idris-chez https://github.com/melted/idris-chez About the only notable

I made a chez scheme backend for Idris a couple of years ago: https://github.com/melted/idris-chez 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.