summaryrefslogtreecommitdiff
path: root/src/LambdaCube/Compiler/Statements.hs
AgeCommit message (Expand)Author
2016-05-07introduce let in core (not used yet)Péter Diviánszky
2016-05-04implement constraint kindsPé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-03support mutually defined constants (first version)Péter Diviánszky
2016-05-02complete pShow on patterns; bugfix; more uncovered warning testsPéter Diviánszky
2016-04-30refactoringPéter Diviánszky
2016-04-29auto expansion of Doc & improved error messagesPéter Diviánszky
2016-04-28refactored pretty print frameworkPéter Diviánszky
2016-04-27split modulePéter Diviánszky
2016-04-27refactoringPéter Diviánszky
2016-04-27refactoringPéter Diviánszky
2016-04-27refactor implicit forall handlingPéter Diviánszky
2016-04-27split modulesPéter Diviánszky
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 20:19:38 +0000