Changes between Version 5 and Version 6 of ActiveBranches


Ignore:
Timestamp:
Apr 12, 2013 4:59:04 PM (2 years ago)
Author:
nfrisby
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ActiveBranches

    v5 v6  
    1212
    1313Nick Frisby. We lift some lambdas before !CorePrep. I'm still determining when to 'not' lift a lambda. My terse notes [wiki:LateLamLift here].
     14
     15=== `ticky-for-all-lets` Ticky for all `let`s ===
     16
     17Nick Frisby. I think this patch is in mostly good shape, but I had to revert it because of a silly mistake. Need to double-check it. It adds ticky counters for lets, even those that don't end up as proper closures.
    1418
    1519=== `type-nats` Solver for Type-Level Naturals ===