metacat-cli 0.2.1

metacat: a categorical theorem prover
metacat-cli-0.2.1 is not a library.