mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-10-26 14:09:09 +03:00
A purely functional programming language with first class types
libs | ||
src | ||
.gitignore | ||
config.mk | ||
idris2.ipkg | ||
Makefile |