GitHub - sourceCode4/verification-of-free-monads: Bachelor Thesis Project at TU Delft

Name		Name	Last commit message	Last commit date
Latest commit History 22 Commits
demo		demo
lib/Data		lib/Data
src		src
.gitignore		.gitignore
Everything.agda		Everything.agda
Makefile		Makefile
cabal.project		cabal.project
instructions.md		instructions.md
project.agda-lib		project.agda-lib
project.cabal		project.cabal

Provide feedback