jingus/lamb
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Commit graph

  • 7406739fcf update README main jackjohn7 2026-05-17 00:30:29 -05:00
  • 54d147b954 update readme jackjohn7 2026-05-17 00:26:30 -05:00
  • 3046beaef2 replacing known values in output now (pretty sick) jackjohn7 2026-05-17 00:21:54 -05:00
  • 9d209fee17 update readme, add tests for run jingus 2026-05-16 18:10:43 -05:00
  • d916288565 add test expr and update gitignore jackjohn7 2026-05-16 17:54:08 -05:00
  • dde7cfc7a4 add (custom) de bruijn-y conversion and alpha equivalence check jackjohn7 2026-05-16 17:49:12 -05:00
  • 99a18df155 beta reduction working jackjohn7 2026-05-16 16:38:56 -05:00
  • 0d6a2ac2e4 wip beta reduction jingus 2026-05-15 21:58:31 -05:00
  • fee6a0e4a3 basic substitution implemented jingus 2026-05-15 19:00:37 -05:00
  • f64bf8be2b parsing, update readme jackjohn7 2026-05-15 02:02:57 -05:00
  • 098cf0832a update README jackjohn7 2026-05-15 01:02:39 -05:00
  • 7df5b0eeac WIP parsec jackjohn7 2026-05-15 00:57:16 -05:00
  • 632b2c4a6a remove direnv bruh jackjohn7 2026-05-14 23:04:54 -05:00
  • 3e3d5b608b remove dist-newstyle jackjohn7 2026-05-14 23:04:16 -05:00
  • 7008596f4c init jackjohn7 2026-05-14 22:59:58 -05:00