search

statebox / idris-ct

formally verified category theory library
GNU Affero General Public License v3.0
256 stars 23 forks source link

Lenses #52

Closed marcosh closed 5 years ago

marcosh commented 5 years ago

lenses category