Changes between Version 2 and Version 3 of ActiveBranches


Ignore:
Timestamp:
Apr 12, 2013 4:05:14 PM (13 months ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ActiveBranches

    v2 v3  
    1212 
    1313Nick Frisby. Make most dictionary arguments strict. It's stowed in a branch until `cardinality` is merged. It should be easier to implement after `cardinality`'s refactoring. 
     14 
     15=== `type-nats` Solver for Type-Level Naturals === 
     16 
     17Iavor S. Diatchki.  An experimental solver for discharging constraints involving natural numbers.