Epigram (Q5382927)
Jump to navigation
Jump to search
functional programming language with dependent types
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Epigram |
functional programming language with dependent types |
Statements
2004
0 references
Identifiers
Sitelinks
Wikipedia(2 entries)
- enwiki Epigram (programming language)
- rowiki Limbajul de programare Epigram