20070701-1

 module Bug where

 f : {a b : Set} -> a -> b -> b
 f n n = n
Page last modified on July 01, 2007, at 10:40 AM
Powered by PmWiki