> Note also the default target is Chez Scheme (Racket and Gambit supported) instead of C (which it still supports) because its faster. Idris 2 currently doesn'

> Note also the default target is Chez Scheme (Racket and Gambit supported) instead of C (which it still supports) because its faster. Idris 2 currently doesn't have C code generator. But you can still use external shared libraries implemented in C > Wouldn't it be funny to port it to Chicken? Idris 2 used to have Chicken CG :) but it was then removed due to the maintenance burden