From 080a9cc14b9cbdb5a9c2338d21ae887402293818 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Sun, 6 Jul 2025 20:30:06 +0200 Subject: feat: start working on typechecker --- lambda-calcul/rust/src/lib.rs | 1 + 1 file changed, 1 insertion(+) (limited to 'lambda-calcul/rust/src/lib.rs') diff --git a/lambda-calcul/rust/src/lib.rs b/lambda-calcul/rust/src/lib.rs index a8cf18e..53f4c99 100644 --- a/lambda-calcul/rust/src/lib.rs +++ b/lambda-calcul/rust/src/lib.rs @@ -2,3 +2,4 @@ pub mod ast; pub mod io; pub mod lambda; pub mod parser; +mod types; -- cgit v1.2.3