summaryrefslogtreecommitdiff
path: root/src/export.sml
Commit message (Collapse)AuthorAge
* Only use cookie signatures when cookies might be readGravatar Adam Chlipala2009-04-23
|
* Effectness analysisGravatar Adam Chlipala2009-04-16
|
* Label exported symbols by effect-ness; factor out some common datatypesGravatar Adam Chlipala2009-04-16