Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Ensql'ing nullables | Adam Chlipala | 2008-11-06 | |
* | Inserted a NULL value | Adam Chlipala | 2008-11-06 | |
* | Cookies work across pages | Adam Chlipala | 2008-11-06 | |
* | Cookie prose; fix bugs that broke demo compilation | Adam Chlipala | 2008-11-06 | |
* | Reading cookies works | Adam Chlipala | 2008-11-06 | |
* | Setting a cookie | Adam Chlipala | 2008-11-06 | |
* | Fix some type-class detection | Adam Chlipala | 2008-11-01 | |
* | Wrapping works in Blog | Adam Chlipala | 2008-11-01 | |
* | Replace 'with' with '++' | Adam Chlipala | 2008-10-31 | |
* | CURRENT_TIMESTAMP | Adam Chlipala | 2008-10-30 | |
* | Marshaling time to SQL | Adam Chlipala | 2008-10-30 | |
* | Add time to some type classes | Adam Chlipala | 2008-10-30 | |
* | time type | Adam Chlipala | 2008-10-30 | |
* | Crud2 demo | Adam Chlipala | 2008-10-23 | |
* | Fix nasty de Bruijn substitution bug; TcSum demo | Adam Chlipala | 2008-10-23 | |
* | Sql demo | Adam Chlipala | 2008-10-21 | |
* | New implicit argument handling | Adam Chlipala | 2008-10-21 | |
* | ord_string | Adam Chlipala | 2008-10-21 | |
* | ord_float and ord_bool | Adam Chlipala | 2008-10-21 | |
* | gt, ge | Adam Chlipala | 2008-10-21 | |
* | lt, le working for int | Adam Chlipala | 2008-10-21 | |
* | num_float | Adam Chlipala | 2008-10-21 | |
* | num working for int | Adam Chlipala | 2008-10-21 | |
* | Monoize eq_[bool|string] | Adam Chlipala | 2008-10-21 | |
* | Binops; equality tested on int; lame 404 substitute | Adam Chlipala | 2008-10-21 | |
* | Support for URL prefixes that works with local demo | Adam Chlipala | 2008-10-19 | |
* | lform -> form | Adam Chlipala | 2008-10-14 | |
* | Use checkbox in CRUD example | Adam Chlipala | 2008-10-04 | |
* | Fix inexhaustive match | Adam Chlipala | 2008-09-14 | |
* | SQL sequences | Adam Chlipala | 2008-09-14 | |
* | Crud listing IDs | Adam Chlipala | 2008-09-11 | |
* | Termination checking allows anything in links and actions | Adam Chlipala | 2008-09-09 | |
* | Rename 'lw' prefixes to 'uw' | Adam Chlipala | 2008-09-07 | |
* | First DELETE works | Adam Chlipala | 2008-09-07 | |
* | First UPDATE works | Adam Chlipala | 2008-09-07 | |
* | First INSERT works | Adam Chlipala | 2008-09-07 | |
* | pquery working with all four types of columns | Adam Chlipala | 2008-09-07 | |
* | Error-parsing ints | Adam Chlipala | 2008-09-07 | |
* | 'read' type class | Adam Chlipala | 2008-09-07 | |
* | Converting string to int | Adam Chlipala | 2008-09-07 | |
* | 'show' type class; htmlification optimizations | Adam Chlipala | 2008-09-07 | |
* | 'error' function | Adam Chlipala | 2008-09-07 | |
* | First query execution (not retrieving results yet) | Adam Chlipala | 2008-09-02 | |
* | Generating SQL files | Adam Chlipala | 2008-09-02 | |
* | Table declarations pushed to Cjr | Adam Chlipala | 2008-09-02 | |
* | 'database' declaration threaded through compiler | Adam Chlipala | 2008-09-02 | |
* | Monoize ASC/DESC | Adam Chlipala | 2008-08-31 | |
* | Changed EQuery not to use a function in its body | Adam Chlipala | 2008-08-31 | |
* | Monoize aggregates | Adam Chlipala | 2008-08-31 | |
* | Monoize COUNT(*) | Adam Chlipala | 2008-08-31 |