Languages Features Creators Calendar CSV Resources Blog About Pricing Add Language
GitHub icon


Epigram - Programming language

< >

Epigram is a programming language created in 2004 by Conor McBride.

#873on PLDB 19Years Old 135Users
1Books 0Papers

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

Language features

Feature Supported Token Example
Dependent types

Books about Epigram from ISBNdb

title authors year publisher
Epigram (programming Language) Kn Tr Benoit 2011
plot.html · epigram.html · hl7.html

View source

- Build the next great programming language · Search · v2023 · Day 208 · Docs · Acknowledgements · Traffic · Traffic Today · Mirrors · GitHub ·