Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Small tweaks to update demos for record unification change | Adam Chlipala | 2010-12-15 |
| | |||
* | Flex kinds for type-level tuples; ::_ notation | Adam Chlipala | 2010-10-10 |
| | |||
* | Changing foldRX to mapX | Adam Chlipala | 2010-02-28 |
| | |||
* | Make summary unification more conservative; infer implicit arguments after ↵ | Adam Chlipala | 2009-12-26 |
| | | | | applications | ||
* | Adapted existing demos to tuple pattern-matching | Adam Chlipala | 2009-10-20 |
| | |||
* | Convert to requiring explicit 'rpc' marker | Adam Chlipala | 2009-08-22 |
| | |||
* | Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; ↵ | Adam Chlipala | 2009-06-02 |
| | | | | Monad library module | ||
* | Demo compiles with pattern-matching-fu | Adam Chlipala | 2009-05-28 |
| | |||
* | Enhance table sig item support and get demo compiling again | Adam Chlipala | 2009-04-07 |
| | |||
* | BatchG demo | Adam Chlipala | 2009-03-10 |