Howdy Logo
Glossary Hero image

The Howdy Glossary

Search terms in Glossary


Epigram is a programming language designed to support higher-order grammar over user-defined data types. It features dependent types and first-class abstract syntax with pattern matching. Epigram was originally created in 2000 by Conor McBride at the University of Nottingham as part of the larger project to develop dependently typed functional languages. The language attracted attention due to its original approach towards integrating formal aspects of computing, such as mathematical proofs and program verification techniques. Over time, the concepts that Epigram pioneered have influenced modern dependently-typed languages like Agda and Idris.

Hire Epigram Experts

Enter your email to get started.