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