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]
|