Changes between Version 8 and Version 9 of TypeLevelReasoning


Ignore:
Timestamp:
Mar 15, 2013 10:32:36 AM (2 years ago)
Author:
heisenbug
Comment:

some background

Legend:

Unmodified
Added
Removed
Modified
  • TypeLevelReasoning

    v8 v9  
    8989
    9090Please tear any of these ideas (or my whole commit) to shreds! It really is meant to be a strawman proposal, but committing these changes seemed the best way of communicating on possible set of design decisions.
     91
     92== Background Material ==
     93
     94[http://typesandkinds.wordpress.com/2012/12/01/decidable-propositional-equality-in-haskell/ Richard's blog].
     95
     96[http://vimeo.com/61576198#t=59m40s Edwin Brady's explanation] how this is done in Idris.
     97
     98[http://heisenbug.blogspot.com/2012/12/decidable-equality.html Gabor's article].