summaryrefslogtreecommitdiff
path: root/src/demo.sig
Commit message (Collapse)AuthorAge
* Especialize uses a termination measure based on number of arguments introducedGravatar Adam Chlipala2009-12-15
|
* Some demo improvementsGravatar Adam Chlipala2008-11-20
|
* Demo HTML generation, minus source codeGravatar Adam Chlipala2008-10-19