Changes between Version 18 and Version 19 of ActiveBranches


Ignore:
Timestamp:
Sep 9, 2013 6:53:30 AM (23 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 =