Epigram - Programming language

Epigram is an open source programming language created in 2004 by Conor McBride.

#1160on 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...

Tags: programming language
Early development of Epigram happened 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.

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)
  }
}

Language features

Feature	Supported	Example	Token
Dependent types	✓