4 Commits

Author	SHA1	Message	Date
mvhutz	ee9e71d58e	fix: no ds store	2025-12-28 02:07:46 -05:00
mvhutz	0945cedf51	feat: only compute all free variables during a-conversion	2025-12-28 02:07:14 -05:00
mvhutz	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