$
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