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.