aboutsummaryrefslogtreecommitdiff
path: root/src/term.c
AgeCommit message (Collapse)Author
2023-02-13Switched to HAMT and BDWGCMarvin Borner
2023-02-11Added testing for equivalenciesMarvin Borner
2023-02-11Fixing.. AAHMarvin Borner
Debugging this is not that easy actually. But I think I got it (tomorrow).
2023-01-31NormalizationMarvin Borner
2023-01-31Fixed building/syncingMarvin Borner
2022-12-13Basic parsingMarvin Borner