mirror of
https://github.com/edwinb/Idris2-boot.git
synced 2024-12-25 05:43:19 +03:00
A dependently typed programming language, a successor to Idris
sample | ||
src | ||
yaffle.ipkg |