diff options
author | Eduardo Julian | 2021-09-04 12:49:52 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-04 12:49:52 -0400 |
commit | fc8bebd3b3c5f050ea92e72eecbd9f6df09f28db (patch) | |
tree | 24858adac0e67228620b7e9166e3b7335be9fd5a /stdlib/source/library/lux/math/number/i32.lux | |
parent | 891b1cfc82322f8017f0a4f6b707d6fe52024545 (diff) |
De-taggification | part 2
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/math/number/i32.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/library/lux/math/number/i32.lux b/stdlib/source/library/lux/math/number/i32.lux index 63edd2244..34174ddec 100644 --- a/stdlib/source/library/lux/math/number/i32.lux +++ b/stdlib/source/library/lux/math/number/i32.lux @@ -1,13 +1,13 @@ (.module: [library - [lux (#- i64) - [type (#+ :by_example)] + [lux {"-" [i64]} + [type {"+" [:by_example]}] [abstract - [equivalence (#+ Equivalence)]] + [equivalence {"+" [Equivalence]}]] [control ["." maybe]]]] [// - ["." i64 (#+ Sub)]]) + ["." i64 {"+" [Sub]}]]) (def: sub (maybe.trusted (i64.sub 32))) |