aboutsummaryrefslogtreecommitdiff
path: root/src/boot/me/stratum.ml
Commit message (Collapse)AuthorAgeFilesLines
* Change 'stratum' to the friendlier term 'layer'.Graydon Hoare2010-12-031-108/+0
|
* Split out stratum-checking pass, implement more-strict (overly aggressive) ↵Graydon Hoare2010-11-021-0/+108
impure-effect checking.