Epigram is a 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...

16Years Old 20Users ?Jobs

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 9th, 2020

Edit Epigram on GitHub