[Haskell-cafe] Article review: Category Theory
ndmitchell at gmail.com
Thu Jan 18 11:22:20 EST 2007
> Isn't _|_ = \x -> _|_?
_|_ `seq` () = _|_
(\x -> _|_) `seq` () = ()
Whether this is the fault of seq or not is your call...
More information about the Haskell-Cafe