Epigram is an open source programming language created in 2004 by Conor McBride.
#1167on PLDB | 20Years Old |
Epigram is a functional programming language with dependent types. Epigram also refers to the IDE usually packaged with the language. Epigram's type system is strong enough to express program specifications. Read more on Wikipedia...
plus x y <= rec x {
plus x y <= case x {
plus zero y => y
plus (suc x) y => suc (plus x y)
}
}
Feature | Supported | Example | Token |
---|---|---|---|
Dependent types | ✓ |