Changes between Version 14 and Version 15 of NewAxioms

Timestamp:

06/15/12 07:58:29 (11 months ago)

Author:

danbst

Comment:

possible typo?

NewAxioms

@@ -88 +88 @@
 type instance F where
   F Int = Char
-  F (a,b) = Ing
+  F (a,b) = Int
 }}}