| Tag: dependent-types 2 packages with this tag | ||
| « Back to VersTracker | All Categories | All Tags | Related: functional-programming programming-language theorem-proving formal-verification idris type-theory verification compiler | ||
| Package | Description | Version |
|---|---|---|
| agda ☆ formula | Dependently typed functional programming language | 2.8.0 |
| idris2 ☆ formula | Pure functional programming language with dependent types | 0.8.0 |