Changes between Version 30 and Version 31 of TypeFunctionsSynTC


Ignore:
Timestamp:
Apr 6, 2008 8:29:49 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSynTC

    v30 v31  
    11= Type Checking with Indexed Type Synonyms =
     2
     3  '''This is OLD and OUT OF DATE material.'''
    24
    35GHC has now F,,C,, as its typed intermediate language.