Changes between Version 8 and Version 9 of NewAxioms


Ignore:
Timestamp:
Jun 7, 2012 12:47:18 PM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NewAxioms

    v8 v9  
    33Thhis page describes an extension to type families that supports overlap.
    44
     5 * See [https://github.com/dreixel/New-axioms this Github repo] for a Latex draft of the design
     6 * Here is a [https://docs.google.com/open?id=0B1pOVvPp4fVdOTdjZjU0YWYtYTA5Yy00NmFkLTkxMWUtZmI0NmNhZTQwYzVl cached pdf] of the current state
     7 * We'll use GHC branch `ghc-axioms` for development work.
    58 * See also the ''' [wiki:NewAxioms/DiscussionPage Discussion Page] ''' added May 2012, for comment/suggestions/requests for clarification/alternative solutions, to explore the design space.
     9 * We'll need some concrete syntax for the discussion, so we'll follow the cached pdf, but note that the syntax there is not final.
    610
    7  * We'll need some concrete syntax for the discussion, so we'll follow the cached pdf, but note that the syntax there is not final.
     11Status (Jan 12): the groundwork is done, in HEAD; mainly making `CoAxiom` a more fundamental data type.  Not yet started on the details.
    812
    913== Background ==
     
    5155}}}
    5256
    53 This wiki page is a stub:
    54  * See [https://github.com/dreixel/New-axioms this Github repo] for a Latex draft of the design
    55  * Here is a [https://docs.google.com/open?id=0B1pOVvPp4fVdOTdjZjU0YWYtYTA5Yy00NmFkLTkxMWUtZmI0NmNhZTQwYzVl cached pdf] of the current state
    56  * We'll use GHC branch `ghc-axioms` for development work.
    57 
    58 Status (Jan 12): the groundwork is done, in HEAD; mainly making `CoAxiom` a more fundamental data type.  Not yet started on the details.
    5957
    6058