Idris 2

https://github.com/idris-lang/idris2

Idris 2 is a purely functional programming language with first-class types that enables type-driven...

Tokens:120,412
Snippets:1,743
Trust Score:6.1
License:BSD-3-Clause
Update:2 weeks ago
Tokens:
Raw