diff options
author | Eduardo Julian | 2021-03-01 01:49:30 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-03-01 01:49:30 -0400 |
commit | cbc41f10fb3e0e776767d2266b22068172b0f69a (patch) | |
tree | 0344edcbe40edf51d16eb70b12a72e97e3c37f11 /stdlib/source/test/lux/host.rb.lux | |
parent | 69edb6de2ecf62881bcde1b8013c98450a6a52bc (diff) |
Done with Ruby.
Diffstat (limited to 'stdlib/source/test/lux/host.rb.lux')
-rw-r--r-- | stdlib/source/test/lux/host.rb.lux | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/stdlib/source/test/lux/host.rb.lux b/stdlib/source/test/lux/host.rb.lux new file mode 100644 index 000000000..0b6cac81b --- /dev/null +++ b/stdlib/source/test/lux/host.rb.lux @@ -0,0 +1,24 @@ +(.module: + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." try]] + [data + ["." text ("#\." equivalence)]] + [math + ["." random (#+ Random)] + [number + ["." nat] + ["." frac]]]] + {1 + ["." /]}) + +(def: #export test + Test + (do {! random.monad} + [] + (<| (_.covering /._) + (_.test "TBD" + true)))) |