URL details: www.e-pig.org

URL title: Epigram
URL paragraphs: This is the homepage of the Epigram project. Epigram is a dependently typed programming language and an interactive programming environment. Epigram has got a type system which is strong enough to express the behaviour of programs, the type checker then gu
URL last crawled: 2024-07-26
URL speed: 85.800 MB/s, downloaded in 0.001 seconds