Changes between Version 3 and Version 4 of Commentary/Compiler/Kinds


Ignore:
Timestamp:
Jun 8, 2012 8:36:34 AM (23 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/Kinds

    v3 v4  
    5050 
    5151(You can edit this picture [https://docs.google.com/drawings/d/1M5yBP8iAWTgqdI3oG1UNnYihVlipnvvk2vLInAFxtNM/edit?hl=en_GB here].) 
    52  
    53  * "`OpenKind`" is the kind of things that can appear as argument or result of functions.