search

statebox / idris-ct

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

Adjunctions #59

Closed sjoerdvisscher closed 5 years ago

sjoerdvisscher commented 5 years ago

Some fall out code from the failed adjunction experiment...

sjoerdvisscher commented 5 years ago

@marcosh Perhaps this code could be merged?

marcosh commented 5 years ago

I'll take a look!