Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Merge PVar and PWild, to get more reasonable type-class resolution | 2016-02-07 | |
| | |||
* | Unnest properly in presence of kind polymorphism | 2015-12-20 | |
| | |||
* | New lessSafeFfi | 2014-05-02 | |
| | |||
* | Identify more local definitions as functions that should be lifted to the ↵ | 2013-11-05 | |
| | | | | top level, which has synergistic effects on inlining later | ||
* | Remove 'class' declaration; now use 'con' instead | 2012-07-29 | |
| | |||
* | Server-side 'onError' | 2010-09-07 | |
| | |||
* | Some serious bug-fix work to get HTML example to compile; this includes ↵ | 2010-06-03 | |
| | | | | fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize | ||
* | 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 | |