diff options
| author | Eduardo Julian | 2022-06-04 19:34:42 -0400 | 
|---|---|---|
| committer | Eduardo Julian | 2022-06-04 19:34:42 -0400 | 
| commit | f9e33ae96aec4741385a576719786092c9e68043 (patch) | |
| tree | 140057dfc054346eab721f9905f0f0fff22ad933 /licentia/source/test | |
| parent | 56d2835d35093e2d92c5e8a4371aa322b55e037b (diff) | |
De-sigil-ification: #
Diffstat (limited to '')
| -rw-r--r-- | licentia/source/test/licentia.lux | 10 | 
1 files changed, 5 insertions, 5 deletions
| diff --git a/licentia/source/test/licentia.lux b/licentia/source/test/licentia.lux index 0e40d75bb..a76149e42 100644 --- a/licentia/source/test/licentia.lux +++ b/licentia/source/test/licentia.lux @@ -50,9 +50,9 @@      [start (random.filter (|>> (n.= n#top) not)                            random.nat)       #let [wiggle_room (n.- start n#top)] -     end (# ! each -            (|>> (n.% wiggle_room) (n.max 1)) -            random.nat)] +     end (at ! each +             (|>> (n.% wiggle_room) (n.max 1)) +             random.nat)]      (wrap [time.#start start             time.#end end]))) @@ -109,8 +109,8 @@  (def: (variable_list max_size gen_element)    (All (_ a) (-> Nat (Random a) (Random (List a))))    (do [! random.monad] -    [amount (# ! each (n.% (n.max 1 max_size)) -               random.nat)] +    [amount (at ! each (n.% (n.max 1 max_size)) +                random.nat)]      (random.list amount gen_element)))  (def: black_list | 
