statebox / idris-ct

formally verified category theory library

GNU Affero General Public License v3.0

259 stars 23 forks source link

Closed Jake-Gillberg closed 3 years ago

Jake-Gillberg commented 4 years ago

23

Jake-Gillberg commented 3 years ago

Haven't looked at this in a while, and don't really plan on coming back to it. Closing for now.