$
CODIGO
log in
epigram
♥
0 favorites
Edit on GitHub
Paradigms
functional
Typing
dependent system, strong typing
Influenced
Idris
,
Agda
External Links
epigram official site
epigram jobs at Devjobsscanner
Trending GitHub repositories
Type
programming
Created
2004
Designed by
Conor McBride
PyPL Index
N/A
TIOBE Index
N/A
GitHub rank
N/A