HITs-Examples/README.md

# HITs-Coq

Needed: https://github.com/HoTT/HoTT

More information on the work is in HITs.pdf.

# Building

Make sure that you have [hoqc](https://github.com/HoTT/HoTT) installed. Then generate
the Makefile and build the project:

    coq_makefile -f _CoqProject -o Makefile
    make
Update README.md 2017-01-02 13:07:50 +01:00			`# HITs-Coq`

			`Needed: https://github.com/HoTT/HoTT`
Update README.md 2017-01-02 13:43:42 +01:00
Update README.md 2017-01-02 13:45:04 +01:00			`More information on the work is in HITs.pdf.`
Update the README 2017-05-18 17:46:00 +02:00
			`# Building`

			`Make sure that you have [hoqc](https://github.com/HoTT/HoTT) installed. Then generate`
			`the Makefile and build the project:`

			`coq_makefile -f _CoqProject -o Makefile`
			`make`