From 94e5802f594a73245fce0fbd885103b8bf210d57 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 2 Dec 2022 19:33:00 -0400
Subject: Added some simple time-series handling machinery.

---
 licentia/source/test/licentia.lux | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'licentia/source/test/licentia.lux')

diff --git a/licentia/source/test/licentia.lux b/licentia/source/test/licentia.lux
index 4183dc564..22eb676f8 100644
--- a/licentia/source/test/licentia.lux
+++ b/licentia/source/test/licentia.lux
@@ -51,7 +51,7 @@
     [start (random.filter (|>> (n.= n#top) not)
                           random.nat)
      #let [wiggle_room (n.- start n#top)]
-     end (at ! each
+     end (of ! each
              (|>> (n.% wiggle_room) (n.max 1))
              random.nat)]
     (wrap [time.#start start
@@ -110,7 +110,7 @@
 (def (variable_list max_size gen_element)
   (All (_ a) (-> Nat (Random a) (Random (List a))))
   (do [! random.monad]
-    [amount (at ! each (n.% (n.max 1 max_size))
+    [amount (of ! each (n.% (n.max 1 max_size))
                 random.nat)]
     (random.list amount gen_element)))
 
-- 
cgit v1.2.3