Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Drop pre-AMP compatibility CPP conditionals | Herbert Valerio Riedel | 2015-12-31 | 1 | -3/+0 |
* | Implement warnings for Semigroups as parent of Monoid | David Luposchainsky | 2015-11-29 | 1 | -0/+9 |
* | Injective type families | Jan Stolarek | 2015-09-03 | 1 | -0/+3 |
* | Role problems pervent GND from happening | Gabor Greif | 2014-12-17 | 1 | -1/+5 |
* | compiler: de-lhs utils/ | Austin Seipp | 2014-12-03 | 1 | -0/+311 |