Idris2/docs/source/tutorial/introduction.rst at main ยท idris-lang/Idris2

A purely functional programming language with first class types - idris-lang/Idris2
github.com github.com