Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Cleaner treatment of parameters in inferCumulativity | 2018-02-16 | |
* | Use specialized function for inductive subtyping inference. | 2018-02-11 | |
* | Simplification: cumulativity information is variance information. | 2018-02-10 | |
* | Change the option for cumulativity | 2017-07-31 | |
* | Add Jason's example of fun-ext with cumulativity | 2017-07-31 | |
* | Add test for NonCumulative inductives | 2017-07-31 | |
* | Issue error on monomorphic cumulative inductives | 2017-07-31 | |
* | Fix a bug in cumulativity | 2017-06-16 | |
* | Move (part of) tests from checker to success | 2017-06-16 |