summaryrefslogtreecommitdiff
path: root/src/specialize.sml
Commit message (Expand)AuthorAge
* <dyn> inside <table>; fix Specialize bug with datatype decls generating other...Gravatar Adam Chlipala2009-06-13
* Some standard library reorgs and additions; handle mutual datatypes better in...Gravatar Adam Chlipala2009-06-09
* Mutual datatypes through EffectizeGravatar Adam Chlipala2009-05-16
* Improvements while working on GraftidGravatar Adam Chlipala2009-05-12
* Unpoly non-recursive functionGravatar Adam Chlipala2008-09-11
* A multi-parameter datatype all the way throughGravatar Adam Chlipala2008-08-09
* Specialization of single-parameter datatypesGravatar Adam Chlipala2008-08-08