files/practicum/NouEnOf.icl

   1 module NouEnOf
   2
   3 import StdEnv
   4
   5 and`    = ... all ...
   6 or`     = ... any ...
   7
   8 all_l p = foldl ...
   9 all_r p = foldr ...
  10 any_l p = foldl ...
  11 any_r p = foldr ...
  12
  13 Start   = all_l id [False:repeat True ]
  14 Start   = any_l id [True :repeat False]
  15 Start   = all_r id [False:repeat True ]
  16 Start   = any_r id [True :repeat False]