20070701-1

 module Bug where

 f : {a b : Set} -> a -> b -> b
 f n n = n

Edit | History | Recent Changes (all) | Search

Page last modified on July 01, 2007, at 10:40 am