Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fixed bug #4622. | 2016-07-06 | |
* | Disallow dependent case on prim records w/o eta | 2016-07-06 | |
* | Primitive projections: protect kernel from erroneous definitions. | 2016-03-10 | |
* | Fixing logical bugs in the presence of let-ins in computiong primitive | 2015-11-18 | |
* | Extraction: fix primitive projection extraction. | 2015-07-22 | |
* | Revert specific syntax for primitive projections, avoiding ugly | 2014-09-17 | |
* | Parsing and printing of primitive projections, fix buggy behavior when | 2014-09-10 | |
* | - Fix printing and parsing of primitive projections, including the Set | 2014-09-09 | |
* | Fix primitive projections declarations for inductive records. | 2014-09-05 | |
* | Simplify even further the declaration of primitive projections, | 2014-08-30 |