Changes between Version 118 and Version 119 of Commentary


Ignore:
Timestamp:
Jan 21, 2011 9:10:05 AM (9 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary

    v118 v119  
    4040
    4141 * The Compiler
     42   * [wiki:NewPlugins Compiler plug-ins]
    4243   * [wiki:TypeNats Type level naturals]
    4344   * [wiki:Commentary/Compiler/GenericDeriving The new deriving mechanism]