diff options
Diffstat (limited to 'files/practicum/NouEnOf.icl')
| -rw-r--r-- | files/practicum/NouEnOf.icl | 16 | 
1 files changed, 0 insertions, 16 deletions
| diff --git a/files/practicum/NouEnOf.icl b/files/practicum/NouEnOf.icl deleted file mode 100644 index cd56213..0000000 --- a/files/practicum/NouEnOf.icl +++ /dev/null @@ -1,16 +0,0 @@ -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]
 | 
