summaryrefslogtreecommitdiff
path: root/demo/sum.ur
Commit message (Expand)AuthorAge
* Avoid any JavaScript when pages don't need it; update demo proseGravatar Adam Chlipala2009-03-10
* Folder generation for functionsGravatar Adam Chlipala2009-02-24
* Demos compile again, with manual foldersGravatar Adam Chlipala2009-02-24
* Make folders abstractGravatar Adam Chlipala2009-02-24
* demo/sum working with manual foldersGravatar Adam Chlipala2009-02-22
* Sum proseGravatar Adam Chlipala2008-10-21
* Infering sum rowsGravatar Adam Chlipala2008-10-21
* Sum demo, minus inference of {Unit}sGravatar Adam Chlipala2008-10-21