index
:
lambdacube-compiler.git
master
sigs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
LambdaCube
/
Compiler
/
DesugaredSource.hs
Age
Commit message (
Expand
)
Author
2016-05-07
introduce let in core (not used yet)
Péter Diviánszky
2016-05-06
refactoring
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
refactoring
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-03
fix: parens around operators
Péter Diviánszky
2016-05-03
shorten more lambdas
Péter Diviánszky
2016-05-03
refactoring
Péter Diviánszky
2016-05-03
support mutually defined constants (first version)
Péter Diviánszky
2016-05-02
more list syntax in pretty print
Péter Diviánszky
2016-05-02
use (:) instead of Cons everywhere
Péter Diviánszky
2016-05-02
complete pShow on patterns; bugfix; more uncovered warning tests
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-30
refactoring
Péter Diviánszky
2016-04-29
auto expansion of Doc & improved error messages
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
refactoring: eliminate custom ESC handling
Péter Diviánszky
2016-04-28
refactoring
Péter Diviánszky
2016-04-28
refactoring
Péter Diviánszky
2016-04-28
refactoring
Péter Diviánszky
2016-04-28
unify Doc types; better expr. pretty print
Péter Diviánszky
2016-04-28
refactoring
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
adjust .out files
Péter Diviánszky
2016-04-27
split module
Péter Diviánszky
2016-04-27
refactoring
Péter Diviánszky
2016-04-27
refactoring
Péter Diviánszky
2016-04-27
refactoring
Péter Diviánszky
2016-04-27
simplification
Péter Diviánszky
2016-04-27
simplification
Péter Diviánszky
2016-04-27
refactor implicit forall handling
Péter Diviánszky
2016-04-27
split modules
Péter Diviánszky
2016-04-26
split desugared source code representation into a separate module
Péter Diviánszky