summaryrefslogtreecommitdiff
path: root/docs/core-spec
Commit message (Expand)AuthorAgeFilesLines
* 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