GitHub - jsacchini/cic-wf

Branches Tags

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

Repository files navigation

# cic-wf

Playground implementation of the Calculus of (Co-)Inductive Constructions with
well-founded sized types for termination/productivity checking.