Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Update headers following #6543. | Théo Zimmermann | 2018-02-27 |
* | Cleaner treatment of parameters in inferCumulativity | Gaëtan Gilbert | 2018-02-16 |
* | Fix reduction flags in inferCumulativity | Gaëtan Gilbert | 2018-02-16 |
* | inferCumulativity: add comment to explain [if not is_arity]. | Gaëtan Gilbert | 2018-02-11 |
* | Use specialized function for inductive subtyping inference. | Gaëtan Gilbert | 2018-02-11 |