index
:
lambdacube-compiler.git
master
sigs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
testdata
/
typesig.reject.out
Age
Commit message (
Expand
)
Author
2016-05-12
mutual function definitions
Péter Diviánszky
2016-05-06
refactoring
Péter Diviánszky
2016-05-04
implement constraint kinds
Péter Diviánszky
2016-05-04
improve pretty print
Péter Diviánszky
2016-05-04
fix pretty print
Péter Diviánszky
2016-05-04
refactoring
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-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-05-01
refactoring
Péter Diviánszky
2016-04-30
fix pretty print syntax
Péter Diviánszky
2016-04-29
use Doc instead of String is several places
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-28
refactored pretty print framework
Péter Diviánszky
2016-04-27
refactor implicit forall handling
Péter Diviánszky
2016-02-15
show trace only on demand
Péter Diviánszky
2016-02-15
put trace info in .out files
Péter Diviánszky
2016-02-13
add structure to error messages
Péter Diviánszky
2016-02-01
erease lambda argument type and constructor type parameters
Péter Diviánszky
2016-01-29
fix let expression type
Péter Diviánszky
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-19
normalise paths and fix self export handling
Csaba Hruska