4 ms·"Idris 2" is clearly an influence. They both offer ChezScheme as a backend, for example.by Syzygies 5y ago"Idris 2" is clearly an influence. They both offer ChezScheme as a backend, for example.