Changes between Version 2 and Version 3 of NewAxioms


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

--

Legend:

Unmodified
Added
Removed
Modified
  • NewAxioms

    v2 v3  
    11GHC branch: `ghc-axioms` 
    22 
    3 See https://github.com/dreixel/New-axioms for a draft of the design. 
     3See https://github.com/dreixel/New-axioms for a draft of the design ([https://docs.google.com/open?id=0B1pOVvPp4fVdOTdjZjU0YWYtYTA5Yy00NmFkLTkxMWUtZmI0NmNhZTQwYzVl cached pdf]).