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