summaryrefslogtreecommitdiff
path: root/demo/sum.ur
Commit message (Collapse)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