summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2016-05-09simplificationPéter Diviánszky
2016-05-09use bit vectors for tracking free vars (not used yet)Péter Diviánszky
2016-05-07introduce let in core (not used yet)Péter Diviánszky
2016-05-06refactoringPéter Diviánszky
2016-05-06refactoringPéter Diviánszky
2016-05-06tweak hnf handlingPéter Diviánszky
2016-05-06refactoringPéter Diviánszky
2016-05-06show typechecked source code in .out files & fix local function handling (again)Péter Diviánszky
2016-05-05bugfixPéter Diviánszky
2016-05-05improve pretty printing & try to fix local function handlingPéter Diviánszky
2016-05-05show error location in recheckPéter Diviánszky
2016-05-05refactoringPéter Diviánszky
2016-05-05simplify local function handlingPéter Diviánszky
2016-05-05refactoringPéter Diviánszky
2016-05-05refactoringPéter Diviánszky
2016-05-04split Infer.hsPéter Diviánszky
2016-05-04implement constraint kindsPéter Diviánszky
2016-05-04refactoringPéter Diviánszky
2016-05-04improve pretty printPéter Diviánszky
2016-05-04fix pretty printPéter Diviánszky
2016-05-04print reduced result in .out filePéter Diviánszky
2016-05-04refactoringPéter Diviánszky
2016-05-04bugfix: do not overnormalizePéter Diviánszky
2016-05-04refactoringPéter Diviánszky
2016-05-04refactoringPéter Diviánszky
2016-05-04refactoringPéter Diviánszky
2016-05-04refactoringPéter Diviánszky
2016-05-04refactoringPéter Diviánszky
2016-05-04refactoringPéter Diviánszky
2016-05-03better show for let expressions; fix a bug in type class desugaringPéter Diviánszky
2016-05-03refactoringPéter Diviánszky
2016-05-03refactoringPéter Diviánszky
2016-05-03use less wildcardsPéter Diviánszky
2016-05-03fix: parens around operatorsPéter Diviánszky
2016-05-03shorten more lambdasPéter Diviánszky
2016-05-03fix pretty print parensPéter Diviánszky
2016-05-03refactoringPéter Diviánszky
2016-05-03refactoringPéter Diviánszky
2016-05-03split Infer.hsPéter Diviánszky
2016-05-03refactoringPéter Diviánszky
2016-05-03remove more color formattins from out filesPéter Diviánszky
2016-05-03support mutually defined constants (first version)Péter Diviánszky
2016-05-02more list syntax in pretty printPéter Diviánszky
2016-05-02use [] instead of Nil in pretty printPéter Diviánszky
2016-05-02use (:) instead of Cons everywherePéter Diviánszky
2016-05-02follow compiler API changePéter Diviánszky
2016-05-02improve layout of warningPéter Diviánszky
2016-05-02complete pShow on patterns; bugfix; more uncovered warning testsPéter Diviánszky
2016-05-01removing coloring from .out filesPéter Diviánszky
2016-05-01update .out filePéter Diviánszky
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 22:29:35 +0000