1
1
mirror of https://github.com/coot/free-category.git synced 2024-09-11 14:17:30 +03:00

Code style

This commit is contained in:
Marcin Szamotulski 2019-09-06 20:26:10 +02:00
parent 229793d7fd
commit 074b57df8f

View File

@ -79,7 +79,7 @@ instance Category (Arr f) where
id = Id
Id . f = f
f . Id = f
(Cons f g) . h = Cons f (g `snoc` h)
(Cons f g) . h = Cons f (g `snoc` h)
(Arr f g) . h = Arr f (g . h)
(Prod f g) . h = Prod (f . h) (g . h)