4 Jan
2008
4 Jan
'08
4:20 p.m.
Nice. Still using "first parameter" though ;-)
This was the problem I mentioned earlier. I tend to write comments like {- | @asTypeOf x y@ returns the value of @x@, while the types of @x@ and @y@ are unified -} asTypeOf :: a -> a -> a This way I can introduce parameter names for the reader.
Ah, okay, I get it now. Sorry, I did not get much sleep yesterday ;-)