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

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 August 22nd, 2019