Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Cleaner treatment of parameters in inferCumulativity | 2018-02-16 | |
* | Fix reduction flags in inferCumulativity | 2018-02-16 | |
* | inferCumulativity: add comment to explain [if not is_arity]. | 2018-02-11 | |
* | Use specialized function for inductive subtyping inference. | 2018-02-11 |