CODIGO
log in

Epigram

Paradigms

functional

Typing

dependent system, strong typing

External Links

Type programming
Created 2004
Designed by Conor McBride
PyPL Index N/A
TIOBE Index N/A
GitHub rank N/A