summaryrefslogtreecommitdiff
path: root/src/defunc.sml
Commit message (Expand)AuthorAge
* Prevent overzealous EspecializationGravatar Adam Chlipala2008-11-09
* Defunctionalization gets CommentBlog workingGravatar Adam Chlipala2008-11-09