Changes between Version 3 and Version 4 of TypeNats/Axioms

Show
Ignore:
Timestamp:
11/27/10 13:11:32 (2 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeNats/Axioms

    v3 v4  
    33These axioms are used by GHC's solver to construct proofs/evidence for various predicates involving type-level naturals. 
    44 
    5 The actual algorithm for constructing the evidence is described as set of rules (interactions) which are described separately. 
     5The actual algorithm for constructing the evidence is implemented as set of rules (interactions) which are described separately. 
    66 
    77The "*Def" axioms bellow look a bit odd but all they are saying is that the predicates which are being defined behave like their corresponding mathematical operations.