jingus/lamb
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
lamb/test
History
Exact
jackjohn7 3046beaef2 replacing known values in output now (pretty sick)
2026-05-17 00:21:54 -05:00
..
BruijnSpec.hs add (custom) de bruijn-y conversion and alpha equivalence check 2026-05-16 17:49:12 -05:00
EvaluationSpec.hs update readme, add tests for run 2026-05-16 18:10:43 -05:00
NicetiesSpec.hs replacing known values in output now (pretty sick) 2026-05-17 00:21:54 -05:00
ParserSpec.hs parsing, update readme 2026-05-15 02:02:57 -05:00
Spec.hs init 2026-05-14 22:59:58 -05:00