summaryrefslogtreecommitdiff
path: root/tests/html_fn.lac
Commit message (Collapse)AuthorAge
* Remove closure conversion in favor of zany fun with modules, which also ↵Gravatar Adam Chlipala2008-07-13
| | | | replaces 'page'
* page declaration, up through monoizeGravatar Adam Chlipala2008-07-10
|
* Fill in more types during closure conversionGravatar Adam Chlipala2008-07-10