summaryrefslogtreecommitdiff
path: root/docs/core-spec
Commit message (Expand)AuthorAgeFilesLines
* Update Makefile in docs/core-spec not to use latexmkRichard Eisenberg2013-04-241-1/+1
* Implement overlapping type family instances.Richard Eisenberg2012-12-214-24/+70
* Added the docs/core-spec READMERichard Eisenberg2012-12-012-2/+83
* Added GHC formalism to the GHC source tree.Richard Eisenberg2012-12-016-0/+1013