Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge PVar and PWild, to get more reasonable type-class resolution | 2016-02-07 | |
* | Another run of Specialize, using ReduceLocal on datatype parameters | 2010-06-05 | |
* | Fix a bug with 'Some p' patterns, where 'p' needs specialization | 2009-06-18 | |
* | <dyn> inside <table>; fix Specialize bug with datatype decls generating other... | 2009-06-13 | |
* | Some standard library reorgs and additions; handle mutual datatypes better in... | 2009-06-09 | |
* | Mutual datatypes through Effectize | 2009-05-16 | |
* | Improvements while working on Graftid | 2009-05-12 | |
* | Unpoly non-recursive function | 2008-09-11 | |
* | A multi-parameter datatype all the way through | 2008-08-09 | |
* | Specialization of single-parameter datatypes | 2008-08-08 |