Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Add more buttons to demo, to avoid effectful GET | 2009-04-16 | |
| | |||
* | Effectness analysis | 2009-04-16 | |
| | |||
* | Simplify type class requirement for tree demo | 2009-04-13 | |
| | |||
* | Stop tracking CSS classes in XML types | 2009-04-12 | |
| | |||
* | hello compiles with CSS | 2009-04-12 | |
| | |||
* | Use FOREIGN KEY in Tree demo | 2009-04-09 | |
| | |||
* | FOREIGN KEY, without ability to link NULL to NOT NULL (and with some ↵ | 2009-04-07 | |
| | | | | lingering problems in row inference) | ||
* | Add primary keys to demo | 2009-04-07 | |
| | |||
* | Enhance table sig item support and get demo compiling again | 2009-04-07 | |
| | |||
* | Chat demo | 2009-04-05 | |
| | |||
* | RoundTrip demo | 2009-04-05 | |
| | |||
* | Threads demo | 2009-04-05 | |
| | |||
* | Noisy demo | 2009-03-10 | |
| | |||
* | BatchG demo | 2009-03-10 | |
| | |||
* | Batch example | 2009-03-10 | |
| | |||
* | Increment demo | 2009-03-10 | |
| | |||
* | Prose for ListEdit | 2009-03-10 | |
| | |||
* | ListEdit demo, minus prose | 2009-03-10 | |
| | |||
* | React demo | 2009-03-10 | |
| | |||
* | Alert demo | 2009-03-10 | |
| | |||
* | Avoid any JavaScript when pages don't need it; update demo prose | 2009-03-10 | |
| | |||
* | Kind-polymorphic [fst] and friends | 2009-02-26 | |
| | |||
* | Folder generation for functors | 2009-02-24 | |
| | |||
* | Folder generation for functions | 2009-02-24 | |
| | |||
* | Demos compile again, with manual folders | 2009-02-24 | |
| | |||
* | Make folders abstract | 2009-02-24 | |
| | |||
* | demo/sum working with manual folders | 2009-02-22 | |
| | |||
* | Debug reverse-engineering unification | 2009-02-21 | |
| | |||
* | Start of RPCification | 2009-02-14 | |
| | |||
* | Fixing demo prose | 2008-11-20 | |
| | |||
* | Some demo improvements | 2008-11-20 | |
| | |||
* | Update Crud demo to use local functions | 2008-11-20 | |
| | |||
* | Extend prose about server .exes | 2008-11-18 | |
| | |||
* | 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 | |
| |