Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Pushing policies through | 2010-04-04 | |
| | |||
* | Convert to task syntax | 2009-12-15 | |
| | |||
* | Initializers and setval | 2009-12-13 | |
| | |||
* | Inlining threshold for Mono_reduce | 2009-10-25 | |
| | |||
* | Fix EDLet elab_util bug | 2009-05-28 | |
| | |||
* | Destructing local let, to the point where demo compiles | 2009-05-28 | |
| | |||
* | A view query works | 2009-04-28 | |
| | |||
* | style declarations | 2009-04-12 | |
| | |||
* | Start of kind polymorphism, up to the point where demo/hello elaborates with ↵ | 2009-02-22 | |
| | | | | updated Basis/Top | ||
* | More ThreadedBlog progress | 2008-11-11 | |
| | |||
* | Get threadedBlog to work | 2008-11-11 | |
| | |||
* | Cookies through elaborate | 2008-11-06 | |
| | |||
* | Nested demo | 2008-11-04 | |
| | |||
* | Almost have that nested save function compiling | 2008-11-01 | |
| | |||
* | Wrapping works in Blog | 2008-11-01 | |
| | |||
* | First Unnest tests working | 2008-11-01 | |