statebox / idris-ct

formally verified category theory library
GNU Affero General Public License v3.0
259 stars 23 forks source link

Just a bit of documentation for comma categories #71

Closed jcranch closed 4 years ago

jcranch commented 4 years ago

You pulled a version which had a short note for my use only. I've converted it to a comment which has some chance of compiling as valid TeX, and also added a couple of other comments.