feat: introduce arrow types

1 files changed, 2 insertions, 1 deletions

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),
         }
     }