aboutsummaryrefslogtreecommitdiff
path: root/src/Experiments/NewPipeline/GENERATEDIdentifiersWithoutTypes.v
Commit message (Expand)AuthorAge
* Also generate decidable equality for pattern.identGravatar Jason Gross2018-08-02
* Support reification of firstn, skipnGravatar Jason Gross2018-07-18
* Allow reification of nat_rect (fun _ => _ -> _)Gravatar Jason Gross2018-07-15
* Correctly reify match on prodGravatar Jason Gross2018-07-03
* WIPGravatar Jason Gross2018-07-03
* New pipeline, split among filesGravatar Jason Gross2018-06-17