files/practicum/NouEnOf.icl


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

module NouEnOf

import StdEnv

and`    = ... all ...
or`     = ... any ...

all_l p	= foldl ...
all_r p	= foldr ...
any_l p	= foldl ...
any_r p	= foldr ...

Start   = all_l id [False:repeat True ]
Start   = any_l id [True :repeat False]
Start   = all_r id [False:repeat True ]
Start   = any_r id [True :repeat False]