Changes between Version 3 and Version 4 of TypeLevelReasoning


Ignore:
Timestamp:
Feb 6, 2013 1:22:41 PM (15 months ago)
Author:
heisenbug
Comment:

improve suggestion

Legend:

Unmodified
Added
Removed
Modified
  • TypeLevelReasoning

    v3 v4  
    4444I'm not sure of the advantages/disadvantages of the choice of representation here. My guess is that Edward did this so his absurd function could spin infinitely. With empty case, we don't need that. 
    4545 
    46  * I'm not at all happy with the name {{{PropNot}}}, but I wanted to reserve {{{Not}}} for Boolean equality, as a parallel to {{{not}}}. Please suggest something better. Gabor suggests {{{Falsified}}}. 
     46 * I'm not at all happy with the name {{{PropNot}}}, but I wanted to reserve {{{Not}}} for Boolean equality, as a parallel to {{{not}}}. Please suggest something better. Gabor suggests {{{Falsified}}}, or even better {{{Refuted}}}. 
    4747 
    4848== Other thoughts (Richard) ==