search

statebox / idris-ct

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

Boolean category #66

Closed sjoerdvisscher closed 5 years ago

sjoerdvisscher commented 5 years ago

In my Data.Category project I found the (pre)order of booleans to be a nice category as a testbed to implement concepts in.