summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2016-02-01faster section parsingPéter Diviánszky
2016-02-01longer SampleMaterialCsaba Hruska
2016-02-01less Fun callPéter Diviánszky
2016-02-01TyCaseFun has a neutral parameterPéter Diviánszky
2016-02-01erease CaseFun's type parametersPéter Diviánszky
2016-02-01fix bug; CaseFun's last argument is neutralPéter Diviánszky
2016-02-01better upDBPéter Diviánszky
2016-02-01less maxDB callPéter Diviánszky
2016-02-01tweak substPéter Diviánszky
2016-02-01annotate more closed expressionPéter Diviánszky
2016-02-01erease lambda argument type and constructor type parametersPéter Diviánszky
2016-01-31disable unused importCsaba Hruska
2016-01-31add testCsaba Hruska
2016-01-30LambdaCube.Compiler.Driver --> LambdaCube.CompilerPéter Diviánszky
2016-01-30refactoringPéter Diviánszky
2016-01-29schedule some tasksCsaba Hruska
2016-01-29more TypeExp usagePéter Diviánszky
2016-01-29eliminate all expType in inferNPéter Diviánszky
2016-01-29add notesCsaba Hruska
2016-01-29intial version of backend test serverCsaba Hruska
2016-01-29fix let expression typePéter Diviánszky
2016-01-29try to remove more expType callsPéter Diviánszky
2016-01-29hide CoreToIR's expression representationPéter Diviánszky
2016-01-29remove more expType callsPéter Diviánszky
2016-01-29remove some expType callsPéter Diviánszky
2016-01-29refactoringPéter Diviánszky
2016-01-29refactoringPéter Diviánszky
2016-01-29optimizationPéter Diviánszky
2016-01-29Set quickcheck parameters in tasty tests and add MaxDB monoid tests.Andor Penzes
2016-01-28add todoCsaba Hruska
2016-01-28move Meta and Assign into a separate typePéter Diviánszky
2016-01-28refactor focusPéter Diviánszky
2016-01-28refactoringPéter Diviánszky
2016-01-28reordering & eliminate some Meta usagePéter Diviánszky
2016-01-28add option for ignoring test casesPéter Diviánszky
2016-01-27Use haskellDef in languageDef definition.Andor Penzes
2016-01-27Fix parsec dependency.Andor Penzes
2016-01-27more comples SampleMaterialCsaba Hruska
2016-01-27add TODO itemPéter Diviánszky
2016-01-27rm Token.hsPéter Diviánszky
2016-01-27Token.hs --> Lexer.hsPéter Diviánszky
2016-01-27Fail build if build or profile fails.Andor Penzes
2016-01-27Run profiling on travis.Andor Penzes
2016-01-27use Void instead of ()Péter Diviánszky
2016-01-27split Infer.hsPéter Diviánszky
2016-01-27reorder definitionsPéter Diviánszky
2016-01-27reorder definitionsPéter Diviánszky
2016-01-27make STyped constructor polymorphPéter Diviánszky
2016-01-27cabal fixCsaba Hruska
2016-01-27first try to move wired-in constraint reductions into the libraryPéter Diviánszky
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 22:33:24 +0000