GitHub - LightAndLight/nominal-lambda-fix: Let's do initial algebra semantics for the category of nominal hask

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
src		src
.gitignore		.gitignore
cabal.project		cabal.project
nominal-lambda-fix.cabal		nominal-lambda-fix.cabal

About

Let's do initial algebra semantics for the category of nominal hask

1 star

1 watching

No releases published