3 ms·
Idris has changed from compiling to C to Chez (or Racket) with Version 2 https://youtu.be/h9YAOaBWuIk?si=gkm2d_KLa3d9eoy5 https://youtu.be/h9YAOaBWuIk?si=gkm2d_
by ReleaseCandidat 3y ago
Idris has changed from compiling to C to Chez (or Racket) with Version 2 https://youtu.be/h9YAOaBWuIk?si=gkm2d_KLa3d9eoy5 https://youtu.be/h9YAOaBWuIk?si=gkm2d_KLa3d9eoy5