diff options
Diffstat (limited to 'examples/bool.hs')
| -rw-r--r-- | examples/bool.hs | 1 |
1 files changed, 1 insertions, 0 deletions
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] | |||
| 40 | main = do | 40 | main = do |
| 41 | print $ find (>6) m | 41 | print $ find (>6) m |
| 42 | disp $ assoc (6,8) 7 $ zip (find (/=0) (eye 5)) [10..] | 42 | disp $ assoc (6,8) 7 $ zip (find (/=0) (eye 5)) [10..] |
| 43 | disp $ accum (eye 5) (+) [((0,2),3), ((3,1),7), ((1,1),1)] | ||
| 43 | disp $ m .>=. 10 .||. m .<. 4 | 44 | disp $ m .>=. 10 .||. m .<. 4 |
| 44 | (disp . fromColumns . map flatten) [p, q, p.&&.q, p .||.q, p `xor` q, p `equiv` q, p `imp` q] | 45 | (disp . fromColumns . map flatten) [p, q, p.&&.q, p .||.q, p `xor` q, p `equiv` q, p `imp` q] |
| 45 | print $ taut $ (p `imp` q ) `equiv` (no q `imp` no p) | 46 | print $ taut $ (p `imp` q ) `equiv` (no q `imp` no p) |