Rare find

Idris2. A purely functional programming language with first class types

github.com/idris-lang/Idris2

by

@idris-lang

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.