Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Library improvements; proper list [un]urlification; remove server-side ↵ | Adam Chlipala | 2009-08-09 |
| | | | | ServerCalls; eta reduction in type inference | ||
* | Redo Jscomp | Adam Chlipala | 2009-05-17 |
| | |||
* | Mutual datatypes through Cjrize | Adam Chlipala | 2009-05-16 |
| | |||
* | Mutual datatypes through Pathcheck | Adam Chlipala | 2009-05-16 |
| | |||
* | Basis.list | Adam Chlipala | 2009-04-30 |
| | |||
* | A view query works | Adam Chlipala | 2009-04-28 |
| | |||
* | Returning a blob as page result | Adam Chlipala | 2009-04-26 |
| | |||
* | Catching duplicate cookie and style paths | Adam Chlipala | 2009-04-16 |
| | |||
* | style declarations | Adam Chlipala | 2009-04-12 |
| | |||
* | PRIMARY KEY | Adam Chlipala | 2009-04-07 |
| | |||
* | UNIQUE constraints | Adam Chlipala | 2009-04-07 |
| | |||
* | sleep and better Scriptcheck | Adam Chlipala | 2009-04-04 |
| | |||
* | _Really_ implement embedded closure GC; extend Scriptcheck to figure out ↵ | Adam Chlipala | 2009-04-04 |
| | | | | when client IDs must be assigned | ||
* | Proper recv | Adam Chlipala | 2009-03-22 |
| | |||
* | Avoid any JavaScript when pages don't need it; update demo prose | Adam Chlipala | 2009-03-10 |
| | |||
* | RPC returning a default datatype | Adam Chlipala | 2009-03-08 |
| | |||
* | First gimpy RPC | Adam Chlipala | 2009-02-15 |
| | |||
* | Export RPC functions and push RPC calls through to Mono | Adam Chlipala | 2009-02-15 |
| | |||
* | Harmonized source-setting between server and client | Adam Chlipala | 2008-12-30 |
| | |||
* | Setting a source server-side | Adam Chlipala | 2008-12-30 |
| | |||
* | Trivial use of a source | Adam Chlipala | 2008-12-21 |
| | |||
* | Handling singnal bind | Adam Chlipala | 2008-12-21 |
| | |||
* | Successfully generated a page element from a signal | Adam Chlipala | 2008-12-20 |
| | |||
* | Initial <dyn> support | Adam Chlipala | 2008-12-20 |
| | |||
* | Displayed an alert dialog | Adam Chlipala | 2008-12-19 |
| | |||
* | Reading cookies works | Adam Chlipala | 2008-11-06 |
| | |||
* | Almost have that nested save function compiling | Adam Chlipala | 2008-11-01 |
| | |||
* | Binops; equality tested on int; lame 404 substitute | Adam Chlipala | 2008-10-21 |
| | |||
* | SQL sequences | Adam Chlipala | 2008-09-14 |
| | |||
* | Unpolyed a polymorphic function of two arguments | Adam Chlipala | 2008-09-11 |
| | |||
* | First INSERT works | Adam Chlipala | 2008-09-07 |
| | |||
* | pquery working with all four types of columns | Adam Chlipala | 2008-09-07 |
| | |||
* | 'read' type class | Adam Chlipala | 2008-09-07 |
| | |||
* | Converting string to int | Adam Chlipala | 2008-09-07 |
| | |||
* | 'error' function | Adam Chlipala | 2008-09-07 |
| | |||
* | Ran a prepared statement with one string parameter | Adam Chlipala | 2008-09-07 |
| | |||
* | Compiling a parametrized query the inefficient way | 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 |
| | |||
* | Cjrize query | Adam Chlipala | 2008-09-02 |
| | |||
* | Monoized and optimized initial query test | Adam Chlipala | 2008-08-31 |
| | |||
* | Monoize transaction identifiers; improve disjointness prover on irreducible ↵ | Adam Chlipala | 2008-08-31 |
| | | | | folds; change 'query' type | ||
* | 'Option' datatype encoding | Adam Chlipala | 2008-08-09 |
| | |||
* | Lists all the way through | Adam Chlipala | 2008-08-09 |
| | |||
* | Datatype representation optimization | Adam Chlipala | 2008-08-03 |
| | |||
* | bool in Basis | Adam Chlipala | 2008-08-03 |
| | |||
* | FFI datatypes | Adam Chlipala | 2008-08-03 |
| | |||
* | Compiled pattern matching to C | Adam Chlipala | 2008-08-03 |
| | |||
* | Cjrize ECon | Adam Chlipala | 2008-08-03 |
| | |||
* | Cjrize EStrcat | Adam Chlipala | 2008-08-03 |
| |