Rare find

felix. Agda category theory library for denotational design

github.com/conal/felix

by

@conal

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.