diff options
author | Eduardo Julian | 2021-09-07 22:50:21 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-07 22:50:21 -0400 |
commit | 35c0807799717cd720ab28b35851c1a01a67445d (patch) | |
tree | c6237b79fb262d24c8a46ee3ecb714df3e9874d8 /stdlib/source/library/lux/math/number/nat.lux | |
parent | b55cefcb258f11eeee32c1478faefd1bd09ec871 (diff) |
De-taggification | part 4
Diffstat (limited to 'stdlib/source/library/lux/math/number/nat.lux')
-rw-r--r-- | stdlib/source/library/lux/math/number/nat.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/library/lux/math/number/nat.lux b/stdlib/source/library/lux/math/number/nat.lux index 5de9ab23d..3efe7f197 100644 --- a/stdlib/source/library/lux/math/number/nat.lux +++ b/stdlib/source/library/lux/math/number/nat.lux @@ -8,11 +8,11 @@ [monoid {"+" [Monoid]}] [equivalence {"+" [Equivalence]}] [codec {"+" [Codec]}] - ["." order {"+" [Order]}]] + ["[0]" order {"+" [Order]}]] [control - ["." function] - ["." maybe] - ["." try {"+" [Try]}]]]]) + ["[0]" function] + ["[0]" maybe] + ["[0]" try {"+" [Try]}]]]]) (template [<extension> <output> <name>] [(def: .public (<name> parameter subject) |