search

statebox / idris-ct

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

Dual is functorial #41

Closed sjoerdvisscher closed 5 years ago

sjoerdvisscher commented 5 years ago

A simple change to check if I'm doing this right.

marcosh commented 5 years ago

nice! thanks