Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | TH: handle explicit quantification in instanceswip/instd-quantifications | sheaf | 2023-01-31 | 1 | -2/+2 |
* | Implement deriving strategies | Ryan Scott | 2016-09-30 | 1 | -2/+2 |
* | Test #8100 in th/T8100 | Richard Eisenberg | 2014-11-12 | 1 | -0/+20 |