index
:
lambdacube-compiler.git
master
sigs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
testdata
/
Internals.out
Age
Commit message (
Expand
)
Author
2016-05-13
refactoring
Péter Diviánszky
2016-05-13
refactoring & fix build
Péter Diviánszky
2016-05-12
don't show module path
Péter Diviánszky
2016-05-12
refactor hashed name handling
Péter Diviánszky
2016-05-12
mutual function definitions
Péter Diviánszky
2016-05-10
explicit lhs marks, first step
Péter Diviánszky
2016-05-06
show typechecked source code in .out files & fix local function handling (again)
Péter Diviánszky
2016-05-05
improve pretty printing & try to fix local function handling
Péter Diviánszky
2016-05-04
implement constraint kinds
Péter Diviánszky
2016-05-04
fix pretty print
Péter Diviánszky
2016-05-03
better show for let expressions; fix a bug in type class desugaring
Péter Diviánszky
2016-05-03
refactoring
Péter Diviánszky
2016-05-03
refactoring
Péter Diviánszky
2016-05-03
use less wildcards
Péter Diviánszky
2016-05-03
fix: parens around operators
Péter Diviánszky
2016-05-03
shorten more lambdas
Péter Diviánszky
2016-05-03
fix pretty print parens
Péter Diviánszky
2016-05-03
refactoring
Péter Diviánszky
2016-05-02
more list syntax in pretty print
Péter Diviánszky
2016-05-02
use [] instead of Nil in pretty print
Péter Diviánszky
2016-05-02
use (:) instead of Cons everywhere
Péter Diviánszky
2016-05-01
removing coloring from .out files
Péter Diviánszky
2016-05-01
improve pretty print layout & show desugared source code in .out files
Péter Diviánszky
2016-05-01
better namespace handling in pretty print
Péter Diviánszky
2016-04-30
fix pretty print syntax
Péter Diviánszky
2016-04-28
switch to Haskell style syntax in pretty print
Péter Diviánszky
2016-04-28
fix naming of free variables
Péter Diviánszky
2016-04-28
switch to ansi-wl-pprint
Péter Diviánszky
2016-04-28
always show parens
Péter Diviánszky
2016-04-28
better names for free variables
Péter Diviánszky
2016-04-28
generate less variable names
Péter Diviánszky
2016-04-25
refactoring
Péter Diviánszky
2016-04-21
cleanup in pattern match compilation
Péter Diviánszky
2016-04-18
bugfix: show missing types in tooltips
Péter Diviánszky
2016-02-24
tweak namespace handling
Péter Diviánszky
2016-02-19
tuples are heterogeneous lists
Péter Diviánszky
2016-02-18
refactoring
Péter Diviánszky
2016-02-16
generate functions in shaders
Péter Diviánszky
2016-02-15
put trace info in .out files
Péter Diviánszky
2016-02-14
refactoring: use less withRange
Péter Diviánszky
2016-02-13
use different kinf of infos
Péter Diviánszky
2016-02-08
simplify label handling (some test may be slower because of a TODO)
Péter Diviánszky
2016-02-07
refactoring
Péter Diviánszky
2016-02-07
try again to move injectivity checking into the libraries
Péter Diviánszky
2016-02-05
try to switch to megaparsec
Péter Diviánszky
2016-02-04
bugfix & improvements
Péter Diviánszky
2016-02-03
more uniform handling of literals
Péter Diviánszky
2016-02-02
try to speed up parseTerm
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
refactoring: use less STyped
Péter Diviánszky
[next]