| Tag: idris 1 packages with this tag | ||
| « Back to VersTracker | All Categories | All Tags | Related: functional-programming dependent-types type-theory verification compiler | ||
| Package | Description | Version |
|---|---|---|
| idris2 ☆ formula | Pure functional programming language with dependent types | 0.8.0 |