index
:
lambdacube-compiler.git
master
sigs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
Age
Commit message (
Collapse
)
Author
2016-01-26
eliminate holes
Péter Diviánszky
2016-01-26
show tooltips in type namespace
Péter Diviánszky
2016-01-26
reorder definitions in Infer.hs
Péter Diviánszky
2016-01-26
refactoring: move ESC handling to Pretty.hs
Péter Diviánszky
2016-01-25
make the code more warning free
Péter Diviánszky
2016-01-25
fix do layout (strangely it was ok with ghci but not ok with ghc)
Péter Diviánszky
2016-01-25
apply hlint suggestions
Péter Diviánszky
2016-01-25
refactoring
Péter Diviánszky
2016-01-23
more compact log
Csaba Hruska
2016-01-23
major refactoring
Péter Diviánszky
2016-01-23
cleanup
Péter Diviánszky
2016-01-22
Tweak telescope functions.
Andor Penzes
2016-01-22
do not allow multiple alternatives for 0 arity functions
Péter Diviánszky
2016-01-22
support guards in case alternatives
Péter Diviánszky
2016-01-22
reject function alternatives with different arity
Péter Diviánszky
2016-01-22
Add more Monoid tests.
Andor Penzes
2016-01-22
support multiple guards
Péter Diviánszky
2016-01-22
support more pattern literals
Péter Diviánszky
2016-01-22
check multiple pattern var names
Péter Diviánszky
2016-01-22
fix exporting single ids
Péter Diviánszky
2016-01-22
better redefine error messages; move another wip test
Péter Diviánszky
2016-01-22
work on closed expression recognition; fix 3 redefine tests
Péter Diviánszky
2016-01-22
use strict version readFile function to lower resource usage (e.g. opened ↵
Csaba Hruska
file handles)
2016-01-22
fix maxDB
Péter Diviánszky
2016-01-22
tried to speed up with cached max. de bruijn indices (no speedup at the moment)
Péter Diviánszky
2016-01-22
several improvement to get better tooltips
Péter Diviánszky
2016-01-22
cleanup
Péter Diviánszky
2016-01-21
better source range handling
Péter Diviánszky
2016-01-21
continue refactoring of parser
Péter Diviánszky
2016-01-21
wip refactoring
Péter Diviánszky
2016-01-21
wip refactoring (results more ranges as a side effect)
Péter Diviánszky
2016-01-21
wip refactoring (results better error ranges as a side effect)
Péter Diviánszky
2016-01-21
wip refactoring
Péter Diviánszky
2016-01-21
improve output look
Csaba Hruska
2016-01-21
refactor part of parser
Péter Diviánszky
2016-01-20
fix name clashing in generated shader code
Péter Diviánszky
2016-01-20
simpler Fragment type
Péter Diviánszky
2016-01-20
better type for rasterize primitive
Péter Diviánszky
2016-01-20
tweak type synonym desugaring
Péter Diviánszky
2016-01-20
support type synonyms
Péter Diviánszky
2016-01-20
support simple import lists (hiding + explicit)
Péter Diviánszky
2016-01-20
refactoring; more prim reductions; begin to strengthten type annotations
Péter Diviánszky
2016-01-19
support more primitive operations on CPU
Péter Diviánszky
2016-01-19
fix loop issue
Péter Diviánszky
2016-01-19
don't evaluate expressions at the end of inference
Péter Diviánszky
2016-01-19
simplify CullMode: remove FrontFace it is always ccw
Csaba Hruska
2016-01-19
normalise paths and fix self export handling
Csaba Hruska
2016-01-18
improve type class handling; experiment with type classes
Péter Diviánszky
2016-01-18
fix glsl code generation
Péter Diviánszky
2016-01-18
Remove escaping from lambdacube-editor related error messages
Andor Penzes
[next]