summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2016-11-10add test case for pattern type annotationCsaba Hruska
2016-11-10add tests for guards + wherePéter Diviánszky
2016-11-07update CHANGELOGPéter Diviánszky
2016-11-07refactor cabal flags, by default only library and lc command line tool is builtCsaba Hruska
2016-09-16update primes test because it sometimes causes timeout during the performance...Péter Diviánszky
2016-09-16add semigroups dependency because base<4.9 does not have Data.List.NonEmptyPéter Diviánszky
2016-09-16use megaparsec 5.0Péter Diviánszky
2016-09-15allow newer optparse-applicative and QuickCheckPéter Diviánszky
2016-09-15more precise aeson version constraintsPéter Diviánszky
2016-09-13export SPos constructor (lambdacube-editor needs it)Péter Diviánszky
2016-09-09add documentation linkPéter Diviánszky
2016-09-09add documentation linkPéter Diviánszky
2016-06-25Add '--version' argument.Andor Penzes
2016-06-24refactoring (2x speedup)Péter Diviánszky
2016-06-24Lam-machine v2Péter Diviánszky
2016-06-14allow newer basePé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-05-14revert changePéter Diviánszky
2016-05-14refactoringPéter Diviánszky
2016-05-14refactoringPéter Diviánszky
2016-05-14refactoringPéter Diviánszky
2016-05-14refactoringPéter Diviánszky
2016-05-14reach the 3000th primePéter Diviánszky
2016-05-14speedup primes examplePéter Diviánszky
2016-05-14fixPéter Diviánszky
2016-05-14refactoringPéter Diviánszky
2016-05-13refactoring: use less reverse callPéter Diviánszky
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-10 10:14:58 +0000