idris-lang

idris-lang

🏢 Organization

1 repository on SrcLog

View on GitHub
1 Repos
2.7k Stars
390 Forks
2.7k Watchers

Repositories (1)

Idris2 idris-lang/Idris2 Idris

A purely functional programming language with first class types

2.7k