diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/specification/lux/abstract/comonad.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/specification/lux/abstract/comonad.lux b/stdlib/source/specification/lux/abstract/comonad.lux index 8b45adb88..0f5f18965 100644 --- a/stdlib/source/specification/lux/abstract/comonad.lux +++ b/stdlib/source/specification/lux/abstract/comonad.lux @@ -20,7 +20,7 @@ morphism (\ ! map (function (_ diff) (|>> _//out (n.+ diff))) random.nat) - #let [start (injection sample)]] + .let [start (injection sample)]] (_.test "Left identity." (n.= (morphism start) (|> start _//split (_//map morphism) _//out))))) @@ -29,7 +29,7 @@ (All [f] (-> (Injection f) (Comparison f) (CoMonad f) Test)) (do random.monad [sample random.nat - #let [start (injection sample) + .let [start (injection sample) == (comparison n.=)]] (_.test "Right identity." (== start @@ -45,7 +45,7 @@ decrease (\ ! map (function (_ diff) (|>> _//out(n.- diff))) random.nat) - #let [start (injection sample) + .let [start (injection sample) == (comparison n.=)]] (_.test "Associativity." (== (|> start _//split (_//map (|>> _//split (_//map increase) decrease))) |