diff options
Diffstat (limited to 'stdlib/source/specification/lux/abstract/functor/contravariant.lux')
| -rw-r--r-- | stdlib/source/specification/lux/abstract/functor/contravariant.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/specification/lux/abstract/functor/contravariant.lux b/stdlib/source/specification/lux/abstract/functor/contravariant.lux index a9ac6e660..048b34ba8 100644 --- a/stdlib/source/specification/lux/abstract/functor/contravariant.lux +++ b/stdlib/source/specification/lux/abstract/functor/contravariant.lux @@ -6,15 +6,15 @@ [equivalence {"+" [Equivalence]}] [monad {"+" [do]}]] [control - ["." function]] + ["[0]" function]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." / {"+" [Functor]}]]) + ["[0]" / {"+" [Functor]}]]) -(def: (identity equivalence value (^open "@//.")) +(def: (identity equivalence value (^open "@//[0]")) (All (_ f a) (-> (Equivalence (f a)) (f a) (Functor f) Test)) (_.test "Law of identity." (equivalence |