Changes between Version 29 and Version 30 of Commentary/Abbreviations


Ignore:
Timestamp:
May 6, 2014 7:43:16 PM (10 months ago)
Author:
mbudde
Comment:

Typo

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Abbreviations

    v29 v30  
    55* '''ANF''': A-normal form 
    66 
    7 * '''CAF''': Constant Applicative Forms 
     7* '''CAF''': Constant Applicative Form 
    88 
    99* '''Class''': Type Class