From c270e03cbd20174082ff51aa2eb645faf9b8d133 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Wed, 30 Apr 2025 18:04:37 +0100
Subject: Fix typo

---
 sec/encoding.ltx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'sec/encoding.ltx')

diff --git a/sec/encoding.ltx b/sec/encoding.ltx
index cfd7583..525568d 100644
--- a/sec/encoding.ltx
+++ b/sec/encoding.ltx
@@ -226,7 +226,7 @@ let compose (depth, heap) =
   let go = primrec depth with
     Zero   => arb
   | Suc ih => fun index =>
-    let x = map (fun x => ih (snoc xs x)) (heap index) in
+    let x = map (fun x => ih (snoc index x)) (heap index) in
     match x with
       Leaf f        => f
     | Branch (f, g) => fun x => f (g x)
-- 
cgit v1.2.3

