idris-lang/Idris2

A purely functional programming language with first class types

https://idris-lang.org/

idris-lang

viewpoint

Express your opinions freely and help others including your future self

Issues rank

No questions were found.

contributors (According to the first 100)