summaryrefslogtreecommitdiff
path: root/prototypes/LamMachine.hs
AgeCommit message (Expand)Author
2016-06-10self adjusting DeBruijn variablesPéter Diviánszky
2016-06-09use splay listsPéter Diviánszky
2016-06-03refactoringPéter Diviánszky
2016-06-03add dedicated Let constructorPéter Diviánszky
2016-06-03use varname preferencePéter Diviánszky
2016-06-03support variable name preference in pretty printPéter Diviánszky
2016-06-03refactoringPéter Diviánszky
2016-06-03cleanup-refactoringPéter Diviánszky
2016-06-02refactoringPéter Diviánszky
2016-05-25refactoringPéter Diviánszky
2016-05-24next part of env implementationPéter Diviánszky
2016-05-24refactoring: next part of env implementationPéter Diviánszky
2016-05-24refactoring: first part of env implementationPéter Diviánszky
2016-05-24refactoring; add hnf marksPéter Diviánszky
2016-05-21refactoringPéter Diviánszky
2016-05-19recursive garbage removalPéter Diviánszky
2016-05-19inspector applicationPéter Diviánszky
2016-05-16refactoringPéter Diviánszky
2016-05-16refactoringPéter Diviánszky
2016-05-16refactoringPéter Diviánszky
2016-05-16compactify db indicesPéter Diviánszky
2016-05-16next stepsPéter Diviánszky
2016-05-16add UpsPéter Diviánszky
2016-05-16LamMachinePéter Diviánszky
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 14:28:57 +0000