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