aboutsummaryrefslogtreecommitdiff
path: root/src/Experiments/NewPipeline/Language.v
Commit message (Expand)AuthorAge
* Montgomery reduction in new pipelineGravatar Jason Gross2018-07-21
* 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
* Make all parameters implicitGravatar Jasper Hugunin2018-07-02
* Remove useless RequiresGravatar Jason Gross2018-06-28
* New pipeline, split among filesGravatar Jason Gross2018-06-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 15:01:34 +0000