GitHub - chip2n/hipspec-typeclasses: Repository for master thesis "Proving Type-Class Laws in Haskell".

Name		Name	Last commit message	Last commit date
Latest commit History 124 Commits
src		src
.gitignore		.gitignore
LICENSE		LICENSE
Setup.hs		Setup.hs
Structural_indcution.txt		Structural_indcution.txt
hipspec-typeclasses.cabal		hipspec-typeclasses.cabal
run_evaluation.sh		run_evaluation.sh