Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Change location/type of [fold] to be more uniform w.r.t. derived folders | 2009-03-12 | |
* | BatchG demo | 2009-03-10 | |
* | Avoid any JavaScript when pages don't need it; update demo prose | 2009-03-10 | |
* | Kind-polymorphic [fst] and friends | 2009-02-26 | |
* | Demos compile again, with manual folders | 2009-02-24 | |
* | Make folders abstract | 2009-02-24 | |
* | Top.Fold.mp | 2009-02-24 | |
* | Top.Fold.concat elaborates | 2009-02-24 | |
* | Switch to TDisjoint from CDisjoint; still need to implement obligation genera... | 2009-02-24 | |
* | demo/sum working with manual folders | 2009-02-22 | |
* | Start of kind polymorphism, up to the point where demo/hello elaborates with ... | 2009-02-22 | |
* | "Hello world" compiles, after replacing type-level fold with map | 2009-02-21 | |
* | Combine lib* directories | 2009-01-13 |