summaryrefslogtreecommitdiff
path: root/docs/stg-spec/CostSem.ott
Commit message (Expand)AuthorAgeFilesLines
* Add cost semantics for STG profiling.Edward Z. Yang2015-01-271-0/+122