Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Update Makefile in docs/core-spec not to use latexmk | Richard Eisenberg | 2013-04-24 | 1 | -1/+1 |
* | Implement overlapping type family instances. | Richard Eisenberg | 2012-12-21 | 4 | -24/+70 |
* | Added the docs/core-spec README | Richard Eisenberg | 2012-12-01 | 2 | -2/+83 |
* | Added GHC formalism to the GHC source tree. | Richard Eisenberg | 2012-12-01 | 6 | -0/+1013 |