GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → langston-barrett → CoverTranslator

langston-barrett / CoverTranslator

Licence: MIT License
A tool for formally verifying Haskell code in Agda

Programming Languages

haskell
3896 projects
Yacc
648 projects
shell
77523 projects
TeX
3793 projects
Agda
84 projects
Makefile
30231 projects

CoverTranslator

This is the work presented in the paper paper "Verifying Haskell Programs Using Constructive Type Theory". It is unmodified, and so incompatible with Agda 2.

All credit is due to the authors, the participants in the CoverTranslator project. I host this code only because their website is now non-existent.

License

This code retains the original project license (MIT).

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].