lexzaielloDcc0.1.0

The dependently-typed combinator calculus (DCC).
No README.md in repository.