From 24bc06c9d553a94306534c9d41cb632ebfd36aae Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud.bailly@iohk.io>
Date: Tue, 24 Sep 2024 19:59:05 +0200
Subject: alpha-conversion when substituting variables under lambda

---
 rust/sample/test_full.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'rust/sample/test_full.txt')

diff --git a/rust/sample/test_full.txt b/rust/sample/test_full.txt
index 253c752..ece76b8 100644
--- a/rust/sample/test_full.txt
+++ b/rust/sample/test_full.txt
@@ -1 +1 @@
-((lam x x) true)
+(((lam x (lam x x)) 13) true)
-- 
cgit v1.2.3