packages / ply

idris2

Purely functional programming language with first class types

license: BSD-3-Clausehttps://www.idris-lang.org

use it

[dependencies]
idris2 = "0.7"

versions