Changes between Version 26 and Version 27 of ActiveBranches


Ignore:
Timestamp:
Sep 20, 2013 3:42:30 PM (2 years ago)
Author:
thoughtpolice
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ActiveBranches

    v26 v27  
    88
    99 * `type-nats`: '''Solver for Type-Level Naturals'''. Iavor S. Diatchki.  An experimental solver for discharging constraints involving natural numbers.
    10 
    11  * `type-nats-simple`: Derived from `type-nats`, intended for eventually being merged into `master`, slated for 7.8.
    1210
    1311 * `simd`: '''SIMD support'''. Geoffrey Mainland. This extends the simple SIMD support in GHC HEAD, and is slated for 7.8.
     
    9290
    9391 * `srcloc` and `real-src-loc-span`: '''Amendments to spannings and !SrcLocs'''. Ian Lynagh.
     92
     93 * `type-nats-simple`: Derived from `type-nats`, intended for eventually being merged into `master`, slated for 7.8.
     94