tscholak / Idris2

A purely functional programming language with first class types

https://idris-lang.org/

Geek Repo

Github PK Tool