5123571 Simplify parser type
Simplify parser type
~ymherklotz pushed to ~ymherklotz/choc git
77c7434 Add explicit shell.nix file
Add explicit shell.nix file
Choc is an implementation of the Calculus of Construction, which is also the calculus used in Coq.