summaryrefslogtreecommitdiff
path: root/demo/sum.ur
Commit message (Collapse)AuthorAge
* Sum proseGravatar Adam Chlipala2008-10-21
|
* Infering sum rowsGravatar Adam Chlipala2008-10-21
|
* Sum demo, minus inference of {Unit}sGravatar Adam Chlipala2008-10-21