mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-09-11 13:36:08 +03:00
A purely functional programming language with first class types
base | ||
contrib | ||
linear | ||
network | ||
papers | ||
prelude | ||
test | ||
idris-logo-base.png | ||
index.html | ||
index.md |