Changes between Version 25 and Version 26 of NewAxioms


Ignore:
Timestamp:
Aug 23, 2013 8:10:16 AM (8 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NewAxioms

    v25 v26  
    7676  F (Int,b) = Char 
    7777}}} 
    78   Here the second equation can never match. 
    79  
    80 For closed kinds (and maybe for open ones, but I can't unravel it), it seems possible to write a set of equations that will catch all possible cases but doesn't match the general case. This situation is currently (Dec 2012) undetected, because I (Richard, `eir` at `cis.upenn.edu`) am unconvinced I have a strong enough handle on the details. For example, what about {{{Any}}}? 
     78  Here the second equation can never match.[[BR]][[BR]] 
     79  For closed kinds (and maybe for open ones, but I can't unravel it), it seems possible to write a set of equations that will catch all possible cases but doesn't match the general case. This situation is currently (Dec 2012) undetected, because I (Richard, `eir` at `cis.upenn.edu`) am unconvinced I have a strong enough handle on the details. For example, what about {{{Any}}}? 
    8180 
    8281 * The equations do not need to share a common pattern: