AgdaCategories
basic category theory library implemented extending McBride's CS410 code, syntax largely influenced by Awodey.
basic category theory library implemented extending McBride's CS410 code, syntax largely influenced by Awodey.
basic category theory library implemented extending McBride's CS410 code, syntax largely influenced by Awodey.
basic category theory library implemented extending McBride's CS410 code, syntax largely influenced by Awodey.
GNU General Public License v3.0