Changes between Initial Version and Version 1 of Ticket #855, comment 14


Ignore:
Timestamp:
Feb 26, 2018 8:54:34 AM (22 months ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #855, comment 14

    initial v1  
    88
    99Let's be really sure that nothing else will work first.
     10
     11What about just running `SpecConstr` twice (with simplification in between).  It's a bit brutal (and why not three times?) but it might help.
     12
     13Specialising on lambdas is pretty ambitious.