Changes between Version 3 and Version 4 of TypeChecker


Ignore:
Timestamp:
Sep 5, 2006 9:08:15 AM (8 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeChecker

    v3 v4  
    1 Hello [[Image(diag.png)]] 
     1= Typechecker = 
     2 
     3here is a picture of the type checker 
     4 
     5[[Image(diag.png)]] 
     6 
     7Next paragraph