diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2025-04-30 18:04:37 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2025-04-30 18:04:37 +0100 |
| commit | c270e03cbd20174082ff51aa2eb645faf9b8d133 (patch) | |
| tree | b40a9687d78e1a1318aa839e08268962926f927f /sec/encoding.ltx | |
| parent | 9a825491027b8237309fae9e0519a107740e0fa3 (diff) | |
Fix typo
Diffstat (limited to 'sec/encoding.ltx')
| -rw-r--r-- | sec/encoding.ltx | 2 |
1 files changed, 1 insertions, 1 deletions
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) |