blockversewordysbillionaire.aiyourlistWhiteboardAppquizieunschool

News

Home
Popular
Elections

Genius — OpenServe

Sponsored

Epigram — latest news, discussion & facts — IJR

Epigram

Topic

Epigram

functional programming language with dependent types

0members1here now

Ask Genius Site

Feed Discussions About

Sort by

Content type

Loading

Latest Epigram news and discussion

Sort by

Content type

Nothing published yet

The conversation starts anyway — post the first discussion above.

About Epigram

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 based on intuitionistic type theory.

0

members

1

here now

Inception: 2004
Website: http://e-pig.org

Everything about Epigram →

Facts from Wikidata (CC0).

Live room · 1 here

Be the first in the room — members see you arrive.

Not who you're looking for? Others named Epigram: brief poem · student newspaper at the University of Bristol · Canadian-bred Thoroughbred racehorse

Epigram across IJR

Ask Genius by OpenServe about Epigram Create in Studio Build a game Watch videos