Changes between Version 26 and Version 27 of ActiveBranches


Ignore:
Timestamp:
Sep 20, 2013 3:42:30 PM (19 months 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