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