Changes between Version 1 and Version 2 of Commentary/Compiler/Coercions


Ignore:
Timestamp:
Nov 17, 2010 3:06:35 PM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/Coercions

    v1 v2  
    7777dIB 
    7878  g Int Bool d 
     79}}} 
     80...unfinished... 
     81 
     82== Main proposal == 
     83 
     84 * Treat equality evidence just like any other sort of evidence. 
     85   * A coercion variable is an `Id`, not a `TyVar`. 
     86   *