5 Commits

Author	SHA1	Message	Date
M.V. Hutz	24a74e625d	refactor: update binary name from lambda.exe to lambda ... Changed BINARY_NAME from lambda.exe to lambda and updated all execution references to use the ${BINARY_NAME} variable. Added lambda binary to .gitignore.	2026-01-11 16:05:50 -05:00
Max	ee9e71d58e	fix: no ds store	2025-12-28 02:07:46 -05:00
Max	0945cedf51	feat: only compute all free variables during a-conversion	2025-12-28 02:07:14 -05:00
Max	99703c2587	fix: unbound substitutions, explanation tag	2025-12-25 01:55:46 -05:00
Maxim Hutz	4845acea73	Initial commit	2025-12-22 21:09:00 +00:00