summaryrefslogtreecommitdiff
path: root/docs/stg-spec
Commit message (Expand)AuthorAgeFilesLines
* Typos in non-codeGabor Greif2016-03-301-1/+1
* Random typo fixesHerbert Valerio Riedel2015-12-171-1/+1
* Add cost semantics for STG profiling.Edward Z. Yang2015-01-275-0/+450
* PLT Redex definition of an STG-like language, as-per the fast curry paper.Edward Z. Yang2014-01-151-0/+247