5 commits

Author	SHA1	Message	Date
jackjohn7	3046beaef2	replacing known values in output now (pretty sick)	2026-05-17 00:21:54 -05:00
jackjohn7	dde7cfc7a4	add (custom) de bruijn-y conversion and alpha equivalence check	2026-05-16 17:49:12 -05:00
jackjohn7	99a18df155	beta reduction working	2026-05-16 16:38:56 -05:00
jackjohn7	7df5b0eeac	WIP parsec	2026-05-15 00:57:16 -05:00
jackjohn7	7008596f4c	init	2026-05-14 22:59:58 -05:00