.
FRDCSA | external codebases | categorytheory-20181105
Homepage

[Project image]
categorytheory-20181105

Jump to: Project Description

Project Description

Category Theory in Agda


This page is part of the FWeb package.
Last updated Sat Oct 26 16:56:50 EDT 2019 .