标签：idris

idris-lang

idris-lang/Idris2

A purely functional programming language with first class types

461 66 1 5年前