jackjohn7
|
7406739fcf
|
update README
|
2026-05-17 00:30:29 -05:00 |
|
jackjohn7
|
54d147b954
|
update readme
|
2026-05-17 00:26:30 -05:00 |
|
jackjohn7
|
3046beaef2
|
replacing known values in output now (pretty sick)
|
2026-05-17 00:21:54 -05:00 |
|
|
|
9d209fee17
|
update readme, add tests for run
|
2026-05-16 18:10:43 -05:00 |
|
jackjohn7
|
d916288565
|
add test expr and update gitignore
|
2026-05-16 17:54:08 -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 |
|
|
|
0d6a2ac2e4
|
wip beta reduction
|
2026-05-15 21:58:31 -05:00 |
|
|
|
fee6a0e4a3
|
basic substitution implemented
|
2026-05-15 19:00:37 -05:00 |
|
jackjohn7
|
f64bf8be2b
|
parsing, update readme
|
2026-05-15 02:02:57 -05:00 |
|
jackjohn7
|
098cf0832a
|
update README
|
2026-05-15 01:02:39 -05:00 |
|
jackjohn7
|
7df5b0eeac
|
WIP parsec
|
2026-05-15 00:57:16 -05:00 |
|
jackjohn7
|
632b2c4a6a
|
remove direnv bruh
|
2026-05-14 23:04:54 -05:00 |
|
jackjohn7
|
3e3d5b608b
|
remove dist-newstyle
|
2026-05-14 23:04:16 -05:00 |
|
jackjohn7
|
7008596f4c
|
init
|
2026-05-14 22:59:58 -05:00 |
|
