Commits

Author Commit Message Labels Comments Date
Paweł Wieczorek
aligning code to new combinators from stringpainters
Branches
port-stringpainter
Paweł Wieczorek
formatter uses StringPainter library instead of own renderer
Branches
port-stringpainter
Paweł Wieczorek
branched
Branches
port-stringpainter
Paweł Wieczorek
tuples
Paweł Wieczorek
minor
Branches
ml-tuples
Paweł Wieczorek
added tuples into parser, but it has conflicts
Branches
ml-tuples
Paweł Wieczorek
added tuples to typechecker, printer, evaluator
Branches
ml-tuples
Paweł Wieczorek
minor
Paweł Wieczorek
implemented eta-reduction
Paweł Wieczorek
eta reduction for CWCPS (stub)
Paweł Wieczorek
implemented BetaContraction
Paweł Wieczorek
added CWCPS_BetaContraction transformation
Paweł Wieczorek
updated .hgignore
Paweł Wieczorek
rename
Paweł Wieczorek
added BoundBy analysis
Paweł Wieczorek
removed embedded type lattice
Paweł Wieczorek
added one-short partial monoid
Paweł Wieczorek
added Lib.DataModuleTypes
Paweł Wieczorek
better structure in Algebra_Lattice
Paweł Wieczorek
better structure in Algebra_Monoid
Paweł Wieczorek
minor
Paweł Wieczorek
removed unused CWCPS_BasicAnalysis
Paweł Wieczorek
analysis gives function instead of functional-monoid
Paweł Wieczorek
minor
Paweł Wieczorek
minor
Paweł Wieczorek
added marshaling
Paweł Wieczorek
minor
Paweł Wieczorek
RemoveDeadCode can be run!
Paweł Wieczorek
implemented basic cases in remove_dead_code for CWCPS
Paweł Wieczorek
added CWCPS_RemoveDeadCode transformation
  1. Prev
  2. Next