Epigram

Summary

Epigram is a programming language^[1]. Epigram draws 20 Wikipedia views per month (programming_language category, ranking #122 of 742).^[2]

Key Facts

• Epigram's instance of is recorded as programming language^[3].
• Epigram's instance of is recorded as dependently typed programming language^[4].
• Epigram's designed by is recorded as Conor McBride^[5].
• +2004-00-00T00:00:00Z marks the founding of Epigram^[6].
• Epigram's publication date is recorded as +2004-00-00T00:00:00Z^[7].
• Epigram's Freebase ID is recorded as /m/0674cj^[8].
• Epigram's official website is recorded as http://e-pig.org^[9].
• Epigram's programming paradigm is recorded as functional programming^[10].
• Epigram's typing discipline is recorded as dependent typing^[11].
• Epigram's typing discipline is recorded as strong typing^[12].
• Epigram's typing discipline is recorded as static typing^[13].

Body

Designation and Status

Recorded instance of include programming language^[3] and dependently typed programming language^[4].

History and Context

+2004-00-00T00:00:00Z marks the founding of Epigram^[6].

Why It Matters

Epigram draws 20 Wikipedia views per month (programming_language category, ranking #122 of 742).^[2]

Epigram has been cited as an influence by Agda^[14], a functional programming language^[15], founded in 2007^[16] and Idris^[17], a purely functional programming language^[18], founded in 2007^[19].

FAQs

Who did Epigram influence?

Epigram has been cited as an influence by Agda^[14] and Idris^[17].