Merge pull request #4233 from sellout/poly-category
Make Category poly-kinded.
commit74928cdd171dfd480555ae264ca040de14e7c232
authorAhmad Salim Al-Sibahi <asal@itu.dk>
dateMon 4 Dec 2017, 08:38 (9 years ago)
parentadc5fc88a1a7bf
libs/base/Control/Category.idr+1−1
@@ -4,7 +4,7 @@ import Data.Morphisms
44
55%access public export
66
7−interface Category (cat : Type -> Type -> Type) where
7+interface Category (cat : k -> k -> Type) where
88 id : cat a a
99 (.) : cat b c -> cat a b -> cat a c
1010