Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | RoundTrip demo | Adam Chlipala | 2009-04-05 | |
| | ||||
* | Threads demo | Adam Chlipala | 2009-04-05 | |
| | ||||
* | Noisy demo | Adam Chlipala | 2009-03-10 | |
| | ||||
* | BatchG demo | Adam Chlipala | 2009-03-10 | |
| | ||||
* | Batch example | Adam Chlipala | 2009-03-10 | |
| | ||||
* | Increment demo | Adam Chlipala | 2009-03-10 | |
| | ||||
* | Prose for ListEdit | Adam Chlipala | 2009-03-10 | |
| | ||||
* | ListEdit demo, minus prose | Adam Chlipala | 2009-03-10 | |
| | ||||
* | React demo | Adam Chlipala | 2009-03-10 | |
| | ||||
* | Alert demo | Adam Chlipala | 2009-03-10 | |
| | ||||
* | Avoid any JavaScript when pages don't need it; update demo prose | Adam Chlipala | 2009-03-10 | |
| | ||||
* | Kind-polymorphic [fst] and friends | Adam Chlipala | 2009-02-26 | |
| | ||||
* | Folder generation for functors | Adam Chlipala | 2009-02-24 | |
| | ||||
* | Folder generation for functions | Adam Chlipala | 2009-02-24 | |
| | ||||
* | Demos compile again, with manual folders | Adam Chlipala | 2009-02-24 | |
| | ||||
* | Make folders abstract | Adam Chlipala | 2009-02-24 | |
| | ||||
* | demo/sum working with manual folders | Adam Chlipala | 2009-02-22 | |
| | ||||
* | Debug reverse-engineering unification | Adam Chlipala | 2009-02-21 | |
| | ||||
* | Start of RPCification | Adam Chlipala | 2009-02-14 | |
| | ||||
* | Fixing demo prose | Adam Chlipala | 2008-11-20 | |
| | ||||
* | Some demo improvements | Adam Chlipala | 2008-11-20 | |
| | ||||
* | Update Crud demo to use local functions | Adam Chlipala | 2008-11-20 | |
| | ||||
* | Extend prose about server .exes | Adam Chlipala | 2008-11-18 | |
| | ||||
* | Tree demo working (and other assorted regressions fixed) | Adam Chlipala | 2008-11-06 | |
| | ||||
* | Tree demo works | Adam Chlipala | 2008-11-06 | |
| | ||||
* | About to begin optimization of recursive transaction functions | Adam Chlipala | 2008-11-06 | |
| | ||||
* | Cookie prose; fix bugs that broke demo compilation | Adam Chlipala | 2008-11-06 | |
| | ||||
* | Cookie demo code; fix error message display | Adam Chlipala | 2008-11-06 | |
| | ||||
* | Nested demo | Adam Chlipala | 2008-11-04 | |
| | ||||
* | Remove need for '() <-' notation | Adam Chlipala | 2008-10-27 | |
| | ||||
* | Properly freeing libpq results on errors | Adam Chlipala | 2008-10-24 | |
| | ||||
* | Crud2 demo | Adam Chlipala | 2008-10-23 | |
| | ||||
* | Crud demo | Adam Chlipala | 2008-10-23 | |
| | ||||
* | Prose for Ref and Metaform | Adam Chlipala | 2008-10-23 | |
| | ||||
* | Fix bug with bringing functor argument instances into scope; Ref demo, minus ↵ | Adam Chlipala | 2008-10-23 | |
| | | | | prose | |||
* | Metaform demos, minus prose | Adam Chlipala | 2008-10-23 | |
| | ||||
* | Fix nasty de Bruijn substitution bug; TcSum demo | Adam Chlipala | 2008-10-23 | |
| | ||||
* | Counter demo | Adam Chlipala | 2008-10-23 | |
| | ||||
* | Sum prose | Adam Chlipala | 2008-10-21 | |
| | ||||
* | Infering sum rows | Adam Chlipala | 2008-10-21 | |
| | ||||
* | Sum demo, minus inference of {Unit}s | Adam Chlipala | 2008-10-21 | |
| | ||||
* | Sql demo | Adam Chlipala | 2008-10-21 | |
| | ||||
* | Note about demo.sql | Adam Chlipala | 2008-10-21 | |
| | ||||
* | ListShop prose | Adam Chlipala | 2008-10-21 | |
| | ||||
* | Rec demo | Adam Chlipala | 2008-10-21 | |
| | ||||
* | Form example | Adam Chlipala | 2008-10-21 | |
| | ||||
* | Hello prose | Adam Chlipala | 2008-10-21 | |
| | ||||
* | Intro prose | Adam Chlipala | 2008-10-21 | |
| | ||||
* | New implicit argument handling | Adam Chlipala | 2008-10-21 | |
| | ||||
* | Fix a nasty driver bug, involving memory restarts and marked-up request strings | Adam Chlipala | 2008-10-21 | |
| |