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 |