diff options
author | Eduardo Julian | 2021-09-12 15:39:55 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-12 15:39:55 -0400 |
commit | 2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd (patch) | |
tree | 14bc8b5abe09b46ef005c3ff7cf132f1d98ddf0d /stdlib/source/test/lux/control/function.lux | |
parent | dda05bca0956af5e5b3875c4cc36e61aa04772e4 (diff) |
Re-named \ => # && \\ => ##
Diffstat (limited to 'stdlib/source/test/lux/control/function.lux')
-rw-r--r-- | stdlib/source/test/lux/control/function.lux | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/stdlib/source/test/lux/control/function.lux b/stdlib/source/test/lux/control/function.lux index 04a30d87b..f38eafb83 100644 --- a/stdlib/source/test/lux/control/function.lux +++ b/stdlib/source/test/lux/control/function.lux @@ -7,8 +7,6 @@ [monad {"+" [do]}] [\\specification ["$[0]" monoid]]] - [data - ["[0]" text ("[1]![0]" equivalence)]] [math ["[0]" random {"+" [Random]}] [number @@ -25,8 +23,8 @@ Test (do [! random.monad] [expected random.nat - f0 (\ ! each n.+ random.nat) - f1 (\ ! each n.* random.nat) + f0 (# ! each n.+ random.nat) + f1 (# ! each n.* random.nat) dummy random.nat extra (|> random.nat (random.only (|>> (n.= expected) not)))] (<| (_.covering /._) @@ -37,7 +35,7 @@ (n.= (left extra) (right extra))))) generator (: (Random (-> Nat Nat)) - (\ ! each n.- random.nat))] + (# ! each n.- random.nat))] (_.for [/.monoid] ($monoid.spec equivalence /.monoid generator))) |