search

jwiegley / category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work
BSD 3-Clause "New" or "Revised" License
745 stars 68 forks source link

Pdf link is not available. #1

Closed wpoosanguansit closed 7 years ago

wpoosanguansit commented 8 years ago

Hi, I came across your repo and tried to get to the pdf file mentioned. However it is not active anymore. Is it possible to include it in the repo itself? Thanks for your help.

jwiegley commented 8 years ago

I'm having trouble building it now myself. It wasn't completed, so there is very little to show. You can view the text by looking at the Category.v file.

wpoosanguansit commented 8 years ago

Thanks.

On Aug 16, 2016, at 11:22 AM, John Wiegley notifications@github.com wrote:

I'm having trouble building it now myself. It wasn't completed, so there is very little to show. You can view the text by looking at the Category.v file. — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/jwiegley/category-theory/issues/1#issuecomment-240136901, or mute the thread https://github.com/notifications/unsubscribe-auth/AAFibYh-X2dylHTnK7UtA7psdzvxBqkIks5qgdXSgaJpZM4Jlb3n.

jwiegley commented 7 years ago

The PDF has been retired. I'll now just be adding notes to the README.md file.