Changes between Version 5 and Version 6 of IntermediateTypes

Timestamp:

08/04/06 07:12:55 (7 years ago)

Author:

guest

Comment:

--

IntermediateTypes

@@ -32 +32 @@
 The representation of types is defined (as the datatype `Type`) in
 !TypeRep, and most of the useful functions on types are defined in
-Type.  TypeRep exports the representation concretely, and should
+Type.  !TypeRep exports the representation concretely, and should
 probably not be used outside the few places it is already used.  Type
 re-exports everything useful from !TypeRep, but exports the
@@ -132 +132 @@
 for the reflexive coercion, i.e.,
 
-    {{{Int :: Int :=: Int}}}
+    {{{ Int :: Int :=: Int }}}
 
 Coercion variables are