Epigram

Epigram is a programming language created in 2004 by Conor McBride.

#873on PLDB	19Years Old	135Users
1Books	0Papers

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...

Epigram Wikipedia page
Epigram first developed in University of London
Explore Epigram snippets on Rosetta Code
Epigram on HOPL
See also: (6 related languages)Linux, Agda, Idris, Coq, Haskell, DML
Read more about Epigram on the web: 1.
HTML of this page generated by LanguagePage.ts

Example from Wikipedia:

plus x y <= rec x {
  plus x y <= case x {
    plus zero y => y
    plus (suc x) y => suc (plus x y)
  }
}

Epigram - Programming language

Language features

Books about Epigram from ISBNdb