diff options
author | Eduardo Julian | 2021-11-16 03:15:39 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-11-16 03:15:39 -0400 |
commit | ce4ffdcecd271b9cebf62d71977a2d5cb5a1a0ee (patch) | |
tree | 895fb7d79ba3ba4440af47ac448a87ad815af3cc /stdlib/source/test/lux | |
parent | 1b110d177a8bc12776a6d24bd6d3f693abe5ba2a (diff) |
64-bit integers that work in both normal Ruby & DragonRuby.
Diffstat (limited to 'stdlib/source/test/lux')
-rw-r--r-- | stdlib/source/test/lux/math/number/frac.lux | 48 |
1 files changed, 24 insertions, 24 deletions
diff --git a/stdlib/source/test/lux/math/number/frac.lux b/stdlib/source/test/lux/math/number/frac.lux index 2b960b43e..bc77f1f32 100644 --- a/stdlib/source/test/lux/math/number/frac.lux +++ b/stdlib/source/test/lux/math/number/frac.lux @@ -1,28 +1,28 @@ (.using - [library - [lux "*" - ["_" test {"+" Test}] - ["@" target] - ["[0]" ffi] - [abstract - [monad {"+" do}] - [\\specification - ["$[0]" equivalence] - ["$[0]" hash] - ["$[0]" order] - ["$[0]" monoid] - ["$[0]" codec]]] - [data - ["[0]" bit ("[1]#[0]" equivalence)]] - [math - ["[0]" random {"+" Random}]]]] - [\\library - ["[0]" / - [// "*" - ["n" nat] - ["i" int] - ["r" rev] - ["[0]" i64]]]]) + [library + [lux "*" + ["_" test {"+" Test}] + ["@" target] + ["[0]" ffi] + [abstract + [monad {"+" do}] + [\\specification + ["$[0]" equivalence] + ["$[0]" hash] + ["$[0]" order] + ["$[0]" monoid] + ["$[0]" codec]]] + [data + ["[0]" bit ("[1]#[0]" equivalence)]] + [math + ["[0]" random {"+" Random}]]]] + [\\library + ["[0]" / + [// "*" + ["n" nat] + ["i" int] + ["r" rev] + ["[0]" i64]]]]) (def: random (Random Frac) |