Epigram (programming language)
id:
epigram-programming-language-271-4281354
title:
Epigram (programming language)
text:
Epigram is a functional programming language with dependent types, and the integrated development environment (IDE) usually packaged with the language. Epigram's type system is strong enough to express program specifications. The goal is to support a smooth transition from ordinary programming to integrated programs and proofs whose correctness can be checked and certified by the compiler. Epigram exploits the Curry–Howard correspondence, also termed the propositions as types principle, and is b
brand slug:
wiki
category slug:
encyclopedia
description:
Functional programming language
original url:
https://en.wikipedia.org/wiki/Epigram_(programming_language)
date created:
date modified:
2024-01-15T00:16:22Z
main entity:
{"identifier":"Q5382927","url":"https://www.wikidata.org/entity/Q5382927"}
image:
fields total:
13
integrity:
14