📈
wiki
Search...
Ctrl
K
Programming
Functional programming
Dependent Types
Idris
Previous
Agda
Next
Continuations
Last updated
5 years ago
Papers
Idris, a General Purpose Dependently Typed Programming Language: Design and Implementation