Changes between Version 20 and Version 21 of ActiveBranches


Ignore:
Timestamp:
Sep 9, 2013 7:15:21 AM (7 months ago)
Author:
heisenbug
Comment:

type-nats-simple is for 7.8

Legend:

Unmodified
Added
Removed
Modified
  • ActiveBranches

    v20 v21  
    99 * `type-nats`: '''Solver for Type-Level Naturals'''. Iavor S. Diatchki.  An experimental solver for discharging constraints involving natural numbers. 
    1010 
    11  * `type-nats-simple`: Derived from `type-nats`, intended for eventually being merged into `master`. 
     11 * `type-nats-simple`: Derived from `type-nats`, intended for eventually being merged into `master`, slated for 7.8. 
    1212 
    1313 * `atomics`: '''Atomic memory operations'''. Ryan Newton. This expands on some work Simon Marlow started in 7.2.