From 68d05695856709ee1c251e496fb5b79a17134dbc Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud@pankzsoft.com>
Date: Thu, 9 Oct 2025 16:06:24 +0200
Subject: feat: introduce arrow types

---
 lambda-calcul/rust/src/ast.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'lambda-calcul/rust/src/ast.rs')

diff --git a/lambda-calcul/rust/src/ast.rs b/lambda-calcul/rust/src/ast.rs
index 18aaaa7..bdfb963 100644
--- a/lambda-calcul/rust/src/ast.rs
+++ b/lambda-calcul/rust/src/ast.rs
@@ -9,6 +9,7 @@ use std::fmt::{self, Display};
 pub enum Type {
     Num,
     Bool,
+    Arr(Box<Type>, Box<Type>),
 }
 
 impl Display for Type {
@@ -75,7 +76,7 @@ impl Display for Value {
             Value::Lam(var, body) => write!(f, "(lam {} {})", var, body),
             Value::Def(var, value) => write!(f, "(def {} {})", var, value),
             Value::Let(var, value, body) => write!(f, "(let ({} {}) {})", var, value, body),
-            Value::TLam(var,typ, body) => write!(f, "(lam ({} {}) {})", var, typ, body),
+            Value::TLam(var,typ, body) => write!(f, "(tlam ({} {}) {})", var, typ, body),
             Value::Type(typ) => write!(f, ":{}", typ),
         }
     }
-- 
cgit v1.2.3