diff options
Diffstat (limited to 'mew.svnwiki')
| -rw-r--r-- | mew.svnwiki | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/mew.svnwiki b/mew.svnwiki index aaebac3..3968b98 100644 --- a/mew.svnwiki +++ b/mew.svnwiki @@ -254,6 +254,12 @@ Returns true if {{<va>}} is an unspecified value, else false. Like {{fold}}/{{fold-right}}, but collects all accumulator values. +<syntax>(imp <antedecent>... <consequent>)<syntax> + +Material implication: evaluate {{<antedecent>...}} until one is false, +then shortcut and return true. If all {{<antedecent>...}} are true, +evaluate {{<consequent>}}. + == I/O helpers |