diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-07-06 20:30:06 +0200 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-07-06 20:30:06 +0200 |
| commit | 080a9cc14b9cbdb5a9c2338d21ae887402293818 (patch) | |
| tree | d249fbeb1993993c6bf6e032632a973c6eae281e /lambda-calcul/rust/src/lib.rs | |
| parent | 14f83d10650d1fa8643c5da42881b3d5bd4d1a8c (diff) | |
| download | lambda-nantes-080a9cc14b9cbdb5a9c2338d21ae887402293818.tar.gz | |
feat: start working on typechecker
Diffstat (limited to 'lambda-calcul/rust/src/lib.rs')
| -rw-r--r-- | lambda-calcul/rust/src/lib.rs | 1 |
1 files changed, 1 insertions, 0 deletions
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; |