Changes between Version 4 and Version 5 of ActiveBranches


Ignore:
Timestamp:
Apr 12, 2013 4:15:41 PM (2 years 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