Felix

Agda category theory library for denotational design