Changes between Version 27 and Version 28 of TypeNats


Ignore:
Timestamp:
Mar 21, 2012 1:17:42 AM (2 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats

    v27 v28  
    2121 
    2222  * [wiki:TypeNats/Implementation   Implementation of GHC.TypeNats] 
    23   * [wiki:TypeNats/Axioms           Axioms for Natural Number Operators] 
    24   * GHC Interaction Rules ([wiki:TypeNats/RuleNotation Notational Conventions]) 
    25     * [wiki:TypeNats/Interact1      Top-Level Interactions] 
    26     * [wiki:TypeNats/Interact2      Simple Inert Interactions] 
    27     * [wiki:TypeNats/LEQ            Solving (<=) Predicates] 
    28     * XXX: Write the new rules 
    29   * Translation to FC 
    30   * Precedences for infix predicates such as ~ and <= 
     23  * [http://github.com/yav/tc-solver/blob/master/docs/axioms.md Axioms for type-level type operators] 
    3124 
    3225