Age | Commit message (Expand) | Author |
---|---|---|
2016-02-05 | refactor Builtins.lc | Péter Diviánszky |
2016-02-05 | try to switch to megaparsec | Péter Diviánszky |
2016-02-05 | refactoring | Péter Diviánszky |
2016-02-05 | eliminate PreFrameBuffer | Péter Diviánszky |
2016-02-05 | support ADT records with repeated field name | Péter Diviánszky |
2016-02-05 | experimental change: Stream -> List | Péter Diviánszky |
2016-02-05 | cleanup | Péter Diviánszky |
2016-02-05 | better Fragment data type | Péter Diviánszky |
2016-02-05 | set programmable point size with ProgramPointSize | Péter Diviánszky |
2016-02-04 | bugfix & improvements | Péter Diviánszky |
2016-02-04 | more complete Component instances | Péter Diviánszky |
2016-02-04 | fix section desugaring | Péter Diviánszky |
2016-02-04 | always include builtins path | Csaba Hruska |
2016-02-04 | bugfix | Péter Diviánszky |
2016-02-04 | begin to support qualified module names | Péter Diviánszky |
2016-02-04 | definitions are allowed in any order (not just bottom-up) | Péter Diviánszky |
2016-02-04 | desugar value definitions (first version) | Péter Diviánszky |
2016-02-03 | eliminate downS | Péter Diviánszky |
2016-02-03 | bugfix | Péter Diviánszky |
2016-02-03 | polymorphic Int literals | Péter Diviánszky |
2016-02-03 | more uniform handling of literals | Péter Diviánszky |
2016-02-03 | refactoring | Péter Diviánszky |
2016-02-03 | be more specific (useful at the migration to megaparsec) | Péter Diviánszky |
2016-02-03 | cleanup | Péter Diviánszky |
2016-02-03 | refactor literal parsing | Péter Diviánszky |
2016-02-03 | refactoring | Péter Diviánszky |
2016-02-03 | refactoring | Péter Diviánszky |
2016-02-03 | refactor identifier parsing | Péter Diviánszky |
2016-02-03 | more precise one line comment | Péter Diviánszky |
2016-02-02 | If something defined in other file do not lookup in the source code. | Andor Penzes |
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 |