Changes between Version 1 and Version 2 of TypeLevelReasoning


Ignore:
Timestamp:
Feb 5, 2013 10:18:22 PM (15 months ago)
Author:
heisenbug
Comment:

suggest

Legend:

Unmodified
Added
Removed
Modified
  • TypeLevelReasoning

    v1 v2  
    4242I'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. 
    4343 
    44  * 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. 
     44 * 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}}}. 
    4545 
    4646== Other thoughts (Richard) ==