a small library where I implement Lambda-Calculus in Ada
Find a file
2026-02-24 20:23:01 +01:00
alire first commit 2026-02-24 20:23:01 +01:00
config first commit 2026-02-24 20:23:01 +01:00
lib first commit 2026-02-24 20:23:01 +01:00
obj first commit 2026-02-24 20:23:01 +01:00
src first commit 2026-02-24 20:23:01 +01:00
alire.toml first commit 2026-02-24 20:23:01 +01:00
lambda.gpr first commit 2026-02-24 20:23:01 +01:00
README.md first commit 2026-02-24 20:23:01 +01:00