Questions Columns Rows
GitHub icon


Epigram - Programming language

< >

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

#951on PLDB 19Years 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...

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

View source

- Build the next great programming language Search Add Language Features Creators Resources About Blog Acknowledgements Stats Sponsor Traffic Traffic Today Day 267 Logout