summaryrefslogtreecommitdiff
path: root/demo/listFun.urs
Commit message (Expand)AuthorAge
* Simple listShop workingGravatar Adam Chlipala2008-10-21
* ListShop skeletonGravatar Adam Chlipala2008-10-21
* Fix a nasty indent bug, found while working on listFunGravatar Adam Chlipala2008-10-19