[Haskell-cafe] Topoi, the categorical Analysis of Logic

Hello, has anybody on this list read Goldblatt's Topoi, the categorical Analysis of Logic? Did reading that book make you a better Haskell programmer? If so, how? Cheers, phiroc ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] Newbie: generating a truth table

Hello, the following code --- import Stdm -- From Discrete Mathematics Using a Computer, by Cordelia Hall and John O'Donnell. pImpliesQAndR :: [Bool] - Bool pImpliesQAndR (p:q:r:[]) = p == ( q /\ r )

[Haskell-cafe] Partial Application

Hello, my original query concerning partial application was triggered by the following statement from Thomson's The Craft of Functional Programming, p. 185: multiplyUC :: (Int, Int) - Int multiplyUC (x,y) = x * y multiply :: Int - Int - Int multiply x y = x * y In the case of

[Haskell-cafe] Tracing a list comprehension

Hello, is there a way to trace a list comprehension such as concat1 :: [[a]] - [a] concat1 xss = [ x | xs - xss, x - xs ] I would like to see what gets stored in xs. Cheers, phiroc ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

[Haskell-cafe] X11

Hello, does anyone know where I can find examples that use the Graphics.X11.Xlib.Window module. Thanks. phiroc ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe