Epigram

Epigram is a historical programming language created in 2004. 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...

15Years Old

20Users

0Jobs

• Epigram ranks in the top 50% of languages
• the Epigram wikipedia page
• Epigram first appeared in 2004
• See also: linux, agda, idris, coq, haskell, dependent-ml
• I have 40 facts about Epigram. what would you like to know? email me and let me know how I can help.

Example code from Wikipedia:

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

Last updated November 16th, 2019