diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/math/number/nat.lux | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/test/lux/math/number/nat.lux b/stdlib/source/test/lux/math/number/nat.lux index 2084821f7..2acfa18f1 100644 --- a/stdlib/source/test/lux/math/number/nat.lux +++ b/stdlib/source/test/lux/math/number/nat.lux @@ -5,19 +5,19 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." hash] - ["$." order] - ["$." enum] - ["$." interval] - ["$." monoid] - ["$." codec]]] + ["$[0]" equivalence] + ["$[0]" hash] + ["$[0]" order] + ["$[0]" enum] + ["$[0]" interval] + ["$[0]" monoid] + ["$[0]" codec]]] [data - ["." bit ("#\." equivalence)]] + ["[0]" bit ("[1]\[0]" equivalence)]] [math - ["." random]]]] + ["[0]" random]]]] [\\library - ["." / + ["[0]" / [// ["f" frac]]]]) |