diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/specification/lux/abstract/functor.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/specification/lux/abstract/functor.lux b/stdlib/source/specification/lux/abstract/functor.lux index 935c37f98..e1be8eba2 100644 --- a/stdlib/source/specification/lux/abstract/functor.lux +++ b/stdlib/source/specification/lux/abstract/functor.lux @@ -14,10 +14,10 @@ [\\library ["[0]" / (.only Functor)]]) -(type: .public (Injection f) +(type .public (Injection f) (All (_ a) (-> a (f a)))) -(type: .public (Comparison f) +(type .public (Comparison f) (All (_ a) (-> (Equivalence a) (Equivalence (f a))))) |