Age | Commit message (Expand) | Author |
---|---|---|
2016-02-02 | try to speed up parseTerm | Péter Diviánszky |
2016-02-02 | memoize evaluation function | Péter Diviánszky |
2016-02-02 | eliminate MT | Péter Diviánszky |
2016-02-02 | compare constructors by tag | Péter Diviánszky |
2016-02-02 | use Set | Péter Diviánszky |
2016-02-02 | remove 'try's from lexer | Péter Diviánszky |
2016-02-02 | smaller try scope | Péter Diviánszky |
2016-02-01 | add passing wip tests | Péter Diviánszky |
2016-02-01 | use less try | Péter Diviánszky |
2016-02-01 | bugfix | Péter Diviánszky |
2016-02-01 | faster section parsing | Péter Diviánszky |
2016-02-01 | less Fun call | Péter Diviánszky |
2016-02-01 | TyCaseFun has a neutral parameter | Péter Diviánszky |
2016-02-01 | erease CaseFun's type parameters | Péter Diviánszky |
2016-02-01 | fix bug; CaseFun's last argument is neutral | Péter Diviánszky |
2016-02-01 | better upDB | Péter Diviánszky |
2016-02-01 | less maxDB call | Péter Diviánszky |
2016-02-01 | tweak subst | Péter Diviánszky |
2016-02-01 | annotate more closed expression | Péter Diviánszky |
2016-02-01 | erease lambda argument type and constructor type parameters | Péter Diviánszky |
2016-01-30 | LambdaCube.Compiler.Driver --> LambdaCube.Compiler | Péter Diviánszky |
2016-01-30 | refactoring | Péter Diviánszky |
2016-01-29 | more TypeExp usage | Péter Diviánszky |
2016-01-29 | eliminate all expType in inferN | Péter Diviánszky |
2016-01-29 | intial version of backend test server | Csaba Hruska |
2016-01-29 | fix let expression type | Péter Diviánszky |
2016-01-29 | try to remove more expType calls | Péter Diviánszky |
2016-01-29 | hide CoreToIR's expression representation | Péter Diviánszky |
2016-01-29 | remove more expType calls | Péter Diviánszky |
2016-01-29 | remove some expType calls | Péter Diviánszky |
2016-01-29 | refactoring | Péter Diviánszky |
2016-01-29 | refactoring | Péter Diviánszky |
2016-01-29 | optimization | Péter Diviánszky |
2016-01-29 | Set quickcheck parameters in tasty tests and add MaxDB monoid tests. | Andor Penzes |
2016-01-28 | move Meta and Assign into a separate type | Péter Diviánszky |
2016-01-28 | refactor focus | Péter Diviánszky |
2016-01-28 | refactoring | Péter Diviánszky |
2016-01-28 | reordering & eliminate some Meta usage | Péter Diviánszky |
2016-01-27 | Use haskellDef in languageDef definition. | Andor Penzes |
2016-01-27 | rm Token.hs | Péter Diviánszky |
2016-01-27 | Token.hs --> Lexer.hs | Péter Diviánszky |
2016-01-27 | use Void instead of () | Péter Diviánszky |
2016-01-27 | split Infer.hs | Péter Diviánszky |
2016-01-27 | reorder definitions | Péter Diviánszky |
2016-01-27 | reorder definitions | Péter Diviánszky |
2016-01-27 | make STyped constructor polymorph | Péter Diviánszky |
2016-01-27 | first try to move wired-in constraint reductions into the library | Péter Diviánszky |
2016-01-27 | less wired-in reductions in the compiler | Péter Diviánszky |
2016-01-27 | refactoring: use less STyped | Péter Diviánszky |
2016-01-26 | eliminate holes | Péter Diviánszky |