aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/math/number/i32.lux
diff options
context:
space:
mode:
authorEduardo Julian2021-09-07 22:50:21 -0400
committerEduardo Julian2021-09-07 22:50:21 -0400
commit35c0807799717cd720ab28b35851c1a01a67445d (patch)
treec6237b79fb262d24c8a46ee3ecb714df3e9874d8 /stdlib/source/test/lux/math/number/i32.lux
parentb55cefcb258f11eeee32c1478faefd1bd09ec871 (diff)
De-taggification | part 4
Diffstat (limited to 'stdlib/source/test/lux/math/number/i32.lux')
-rw-r--r--stdlib/source/test/lux/math/number/i32.lux10
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/test/lux/math/number/i32.lux b/stdlib/source/test/lux/math/number/i32.lux
index 0548c3c86..b9af4c673 100644
--- a/stdlib/source/test/lux/math/number/i32.lux
+++ b/stdlib/source/test/lux/math/number/i32.lux
@@ -5,14 +5,14 @@
[abstract
[monad {"+" [do]}]
[\\specification
- ["$." equivalence]]]
+ ["$[0]" equivalence]]]
[math
- ["." random {"+" [Random]}]]]]
+ ["[0]" random {"+" [Random]}]]]]
[\\library
- ["." /
- ["/#" // "_"
+ ["[0]" /
+ ["/[1]" // "_"
["i" int]
- ["#." i64]]]])
+ ["[1][0]" i64]]]])
(def: .public random
(Random /.I32)