Changes between Version 3 and Version 4 of TypeNats/Axioms
 Timestamp:
 Nov 27, 2010 9:11:32 PM (5 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

TypeNats/Axioms
v3 v4 3 3 These axioms are used by GHC's solver to construct proofs/evidence for various predicates involving typelevel naturals. 4 4 5 The actual algorithm for constructing the evidence is described as set of rules (interactions) which are described separately.5 The actual algorithm for constructing the evidence is implemented as set of rules (interactions) which are described separately. 6 6 7 7 The "*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.