Mercurial > urweb
log demo/crud.urs
age | author | description |
---|---|---|
2009-10-20 | Adam Chlipala | Adapted existing demos to tuple pattern-matching |
2009-04-07 | Adam Chlipala | Enhance table sig item support and get demo compiling again |
2009-02-26 | Adam Chlipala | Kind-polymorphic [fst] and friends |
2009-02-24 | Adam Chlipala | Demos compile again, with manual folders |
2009-02-21 | Adam Chlipala | Debug reverse-engineering unification |
2008-10-23 | Adam Chlipala | Crud demo |