Changes between Version 1 and Version 2 of NewAxioms


Ignore:
Timestamp:
Jan 16, 2012 8:38:02 AM (2 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NewAxioms

    v1 v2  
     1GHC branch: `ghc-axioms` 
     2 
    13See https://github.com/dreixel/New-axioms for a draft of the design.