How to play with Coq and categorial grammars

  1. Install Coq on your computer. It is better to use Coq within an editor, either with coqIde or Proof General.
  2. Untar this file
  3. Go into the COQFILES directory, then execute make all