aboutsummaryrefslogtreecommitdiff
path: root/src/parse.c
AgeCommit message (Collapse)Author
2023-11-15More testingHEADaggressiveMarvin Borner
2023-10-21Started basic beta shiftMarvin Borner
2023-06-07Parenting is still neededMarvin Borner
I was certainly dumb. This reverts commit ec2be68120e48c75b0acd2bdfb5cc8d931c70cfd.
2023-06-07Removed parentingMarvin Borner
I think reducing should work without parenting.. I'm not sure though. I'm confused.
2023-06-01More parentingMarvin Borner
2023-05-31Added parent hashmapsMarvin Borner
2023-05-29Started reducerMarvin Borner
has some problems still
2023-05-27Moved term logicMarvin Borner
2023-05-27Basic schedule initializationMarvin Borner
2023-05-26Added depthMarvin Borner
2023-05-26Abstract abstractificationMarvin 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-11Fixing.. AAHMarvin Borner
Debugging this is not that easy actually. But I think I got it (tomorrow).
2023-01-31Started reducingMarvin Borner
2023-01-31NormalizationMarvin Borner
2023-01-31Fixed building/syncingMarvin Borner
2022-12-13Basic parsingMarvin Borner