GitHub - jsacchini/cicminus

Name		Name	Last commit message	Last commit date
Latest commit History 134 Commits
examples		examples
src		src
tests		tests
.gitignore		.gitignore
LICENSE		LICENSE
README		README
Setup.hs		Setup.hs
cicminus.cabal		cicminus.cabal
cicminus.el		cicminus.el

Repository files navigation

# cicminus

Playground implementation of the Calculus of (Co-)Inductive Constructions with
type-based termination/productivity.

No description, website, or topics provided.

1 star

1 watching