Idris
E437223
UNEXPLORED
Idris is a functional programming language with full dependent types, designed for expressive type-driven development and interactive theorem proving.
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
Haskell
→
|
influenced |