summaryrefslogtreecommitdiff
path: root/prototypes
AgeCommit message (Expand)Author
2018-01-16Semigroup-Monoid Proposal fixes: GHC 8.4 compatKosyrev Serge
2016-09-09add documentation linkPéter Diviánszky
2016-06-24refactoring (2x speedup)Péter Diviánszky
2016-06-24Lam-machine v2Péter Diviánszky
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
2016-04-16work on ShiftReducer prototypePéter Diviánszky
2016-04-10more testPéter Diviánszky
2016-04-08integrate testsPéter Diviánszky
2016-04-08add delta functionsPéter Diviánszky
2016-04-08Update ShiftReducer.hsCsaba Hruska
2016-04-08begin to implement hnfPéter Diviánszky
2016-04-08split Stream.hs; bugfixesPéter Diviánszky
2016-04-06simplificationPéter Diviánszky
2016-03-24add reducer prototype with fast de bruijn index shifting (not ready yet)Péter Diviánszky
2016-01-31disable unused importCsaba Hruska
2015-12-19switch to new compilerPéter Diviánszky
2015-12-19remove 'wrong'Péter Diviánszky
2015-12-19Refactor: use fromNatE in patterns, introduce toNatEAndor Penzes
2015-12-18refactoringPéter Diviánszky
2015-12-18primIfThenElse is not builtinPéter Diviánszky
2015-12-18cleanupPéter Diviánszky
2015-12-18cleanupPéter Diviánszky
2015-12-18cleanupPéter Diviánszky
2015-12-18update TODOsPéter Diviánszky
2015-12-18update cabal fileCsaba Hruska
2015-12-18Graphics.lc compiles nowPéter Diviánszky
2015-12-18update TODO & old test out filePéter Diviánszky
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-19 06:02:12 +0000