aboutsummaryrefslogtreecommitdiff
path: root/src/term.c
AgeCommit message (Collapse)Author
2023-05-29Forgot to add new terms to mapMarvin Borner
2023-05-29Started reducerMarvin Borner
has some problems still
2023-05-29Switched to wider indicesMarvin Borner
I mean these programs would certainly be quite weird but it doesn't change the struct size anyway so better be prepared amirite
2023-05-27Moved term logicMarvin Borner
2023-05-06Start freshMarvin Borner
2023-02-20Added BLC parsing/printingMarvin Borner
2023-02-20Seems to workMarvin Borner
WHY WAS THIS SO EASY?! I spent basically the entire last week trying to build a reference based garbage collector wtf fuck that
2023-02-20Kinda working but slowMarvin Borner
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