Commit message (Expand) | Author | Age | |
---|---|---|---|
* | move src/Experiments/NewPipeline/ to src/ | 2019-01-09 | |
* | remove pattern.ident.type_vars | 2018-12-11 | |
* | Prove pattern.ident.type_vars_enough | 2018-12-08 | |
* | Restore Redirect in comment blocks | 2018-10-09 | |
* | Remove [Redirect] to absolute paths | 2018-10-09 | |
* | Add pattern.ident.to_typed | 2018-10-01 | |
* | Support type variables in patterns in the rewriter | 2018-09-29 | |
* | Also generate decidable equality for pattern.ident | 2018-08-02 | |
* | Support reification of firstn, skipn | 2018-07-18 | |
* | Allow reification of nat_rect (fun _ => _ -> _) | 2018-07-15 | |
* | Correctly reify match on prod | 2018-07-03 | |
* | WIP | 2018-07-03 | |
* | New pipeline, split among files | 2018-06-17 |