Changes between Version 4 and Version 5 of ActiveBranches


Ignore:
Timestamp:
Apr 12, 2013 4:15:41 PM (12 months ago)
Author:
goldfire
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ActiveBranches

    v4 v5  
    1717Iavor S. Diatchki.  An experimental solver for discharging constraints involving natural numbers. 
    1818 
     19=== `type-reasoning` on ''base'' Experiments with type-level reasoning definitions === 
     20 
     21Richard Eisenberg / Gabor Greif. Changes to !TypeLits and related files to support type-level reasoning. Mostly superseded by conversations summarized at TypeLevelReasoning. 
     22 
    1923== Inactive branches == 
    2024