Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Tree demo working (and other assorted regressions fixed) | 2008-11-06 | |
* | Cookie prose; fix bugs that broke demo compilation | 2008-11-06 | |
* | Nested demo | 2008-11-04 | |
* | Crud2 demo | 2008-10-23 | |
* | Crud demo | 2008-10-23 | |
* | Prose for Ref and Metaform | 2008-10-23 | |
* | Fix bug with bringing functor argument instances into scope; Ref demo, minus ... | 2008-10-23 | |
* | Metaform demos, minus prose | 2008-10-23 | |
* | Fix nasty de Bruijn substitution bug; TcSum demo | 2008-10-23 | |
* | Counter demo | 2008-10-23 | |
* | Sum prose | 2008-10-21 | |
* | Sql demo | 2008-10-21 | |
* | Note about demo.sql | 2008-10-21 | |
* | ListShop prose | 2008-10-21 | |
* | Rec demo | 2008-10-21 | |
* | Form example | 2008-10-21 | |
* | Hello prose | 2008-10-21 | |
* | Intro prose | 2008-10-21 | |
* | New implicit argument handling | 2008-10-21 | |
* | Demo HTML generation, minus source code | 2008-10-19 |