Changes between Version 20 and Version 21 of ActiveBranches


Ignore:
Timestamp:
Sep 9, 2013 7:15:21 AM (2 years 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.