4 ms·

IIRC, Idris 2 uses Chez Scheme for its backend.

• threatofrain 3y ago
  Also Racket.
• bPspGiJT8Y 3y ago
  There's also a Chez backend in development for PureScript.