2 results found Sort:
The Dart backend for Idris 2.
Created
2020-08-29
188 commits to main branch, last one 3 years ago
An unofficial Idris2 package repository for Nix
Created
2021-04-26
207 commits to main branch, last one 2 years ago