12 ms·
Not a huge update, but refc codegen is interesting: dependency on scheme runtime is no longer needed. This makes Idris 2 feature-equivalent to Idris 1 I guess.
by lightgreen 6y ago
Not a huge update, but refc codegen is interesting: dependency on scheme runtime is no longer needed.
This makes Idris 2 feature-equivalent to Idris 1 I guess.
- ska80 6y agoRefC is not optimized yet and intended mostly for portability for systems that lack Racket/Chez Scheme support or with memory constraints.