Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Tree demo working (and other assorted regressions fixed) | 2008-11-06 | ||
| | ||||
* | Tree demo works | 2008-11-06 | ||
| | ||||
* | About to begin optimization of recursive transaction functions | 2008-11-06 | ||
| | ||||
* | Cookie prose; fix bugs that broke demo compilation | 2008-11-06 | ||
| | ||||
* | Cookie demo code; fix error message display | 2008-11-06 | ||
| | ||||
* | Nested demo | 2008-11-04 | ||
| | ||||
* | Remove need for '() <-' notation | 2008-10-27 | ||
| | ||||
* | Properly freeing libpq results on errors | 2008-10-24 | ||
| | ||||
* | 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 | ||
| | | | | prose | |||
* | 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 | ||
| | ||||
* | Infering sum rows | 2008-10-21 | ||
| | ||||
* | Sum demo, minus inference of {Unit}s | 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 | ||
| | ||||
* | Fix a nasty driver bug, involving memory restarts and marked-up request strings | 2008-10-21 | ||
| | ||||
* | listFun uses length | 2008-10-21 | ||
| | ||||
* | Simple listShop working | 2008-10-21 | ||
| | ||||
* | ListShop skeleton | 2008-10-21 | ||
| | ||||
* | Fix a nasty indent bug, found while working on listFun | 2008-10-19 | ||
| | ||||
* | Demo HTML generation, minus source code | 2008-10-19 | ||
| | ||||
* | Link demo | 2008-10-19 | ||
| | ||||
* | Proper configuration and installation | 2008-10-19 | ||