Mercurial > urweb
log src/reduce.sml
age | author | description |
---|---|---|
Wed, 25 Nov 2015 18:48:17 -0500 | Adam Chlipala | Reduce: add reduction in some spots previously missed, associated with 'case' return types |
Sat, 15 Feb 2014 10:06:18 -0500 | Adam Chlipala | Use neverInline in reduce |
Sat, 10 Aug 2013 10:13:40 -0400 | Adam Chlipala | Expand coverage of 'functionInside' for Especialize |