The Home of Community

800K+ People
300K+ Rooms
90K+ Communities
100+ Countries

ydewit / idris-ivor

Ivor - a Truffle/GraalVM based Just-In-Time (JIT) compiler for the Idris language

idris language jit jvm dependent-type