Epigram

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

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

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.

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