search

ekmett / folds

Folds and sequence algebras
Other
18 stars 11 forks source link

Add instance Semigroupoid L #16

Open lspitzner opened 6 years ago

lspitzner commented 6 years ago

L does not have id, but there is a compose.

Also, does R have the same instance?