achlipala/frap Issues
Error with make all
Updated 2Unable to unify - compile error
Updated 2Unable to run `make lib`
Closed 4Book on amazon Kindle?
Updated 7"Further Reading" sections
Updated 1Typo in Polymorphism.v
Closed 3Failing to compile Sets.v
Closed 1Minor typo in section 2.5
Closed 2Typo in ch. 13.3?
Closed 1"make clean" deletes book source
Closed 3What is the focus of the book?
Closed 1Proof General cannot find Sets
Closed 1