From 9fc924dc107cd619c60a421d288dafb92f417b8c Mon Sep 17 00:00:00 2001 From: Alberto Ruiz Date: Sat, 1 Jan 2011 20:59:47 +0000 Subject: accum --- examples/bool.hs | 1 + 1 file changed, 1 insertion(+) (limited to 'examples') diff --git a/examples/bool.hs b/examples/bool.hs index 9301689..278e9f2 100644 --- a/examples/bool.hs +++ b/examples/bool.hs @@ -40,6 +40,7 @@ q = row [0,1,0,1] main = do print $ find (>6) m disp $ assoc (6,8) 7 $ zip (find (/=0) (eye 5)) [10..] + disp $ accum (eye 5) (+) [((0,2),3), ((3,1),7), ((1,1),1)] disp $ m .>=. 10 .||. m .<. 4 (disp . fromColumns . map flatten) [p, q, p.&&.q, p .||.q, p `xor` q, p `equiv` q, p `imp` q] print $ taut $ (p `imp` q ) `equiv` (no q `imp` no p) -- cgit v1.2.3