aboutsummaryrefslogtreecommitdiff
path: root/src/Compilers/Linearize.v
Commit message (Expand)AuthorAge
* Generalize linearize a bit moreGravatar Jason Gross2017-04-15
* Better version of linearize without a-normal formGravatar Jason Gross2017-04-14
* Split off a-normal form from flatteningGravatar Jason Gross2017-04-14
* rename-everythingGravatar Andres Erbsen2017-04-06