Changes between Version 8 and Version 9 of NewAxioms


Ignore:
Timestamp:
Jun 7, 2012 12:47:18 PM (23 months 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