Changes between Version 18 and Version 19 of ActiveBranches


Ignore:
Timestamp:
Sep 9, 2013 6:53:30 AM (7 months ago)
Author:
heisenbug
Comment:

mention type-nats-simple and data-kind-syntax

Legend:

Unmodified
Added
Removed
Modified
  • ActiveBranches

    v18 v19  
    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`. 
     12 
    1113 * `atomics`: '''Atomic memory operations'''. Ryan Newton. This expands on some work Simon Marlow started in 7.2. 
    1214 
     
    1820 
    1921* `ghc-parmake-gsoc`: '''Parallel --make'''. Patrick Palka, GSoC 2013. This extends `ghc --make` to be able to compile multiple modules in parallel. 
     22 
     23 * `data-kind-syntax`: Syntax for ''kind-only'' definitions (i.e. without the type definition when resorting to promotion). Ready for review and merge. 
    2024 
    2125= Limbo branches =