Changes between Version 27 and Version 28 of TypeNats


Ignore:
Timestamp:
Mar 21, 2012 1:17:42 AM (3 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