basic category theory library implemented extending McBride's CS410 code, syntax largely influenced by Awodey.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool