diff options
| author | Leah Neukirchen <leah@vuxu.org> | 2022-11-17 23:37:25 +0100 |
|---|---|---|
| committer | Leah Neukirchen <leah@vuxu.org> | 2022-11-17 23:37:25 +0100 |
| commit | beb92ad9009f6b6a338430ba137e33201cca2230 (patch) | |
| tree | f1ec893dff80a389cb6594f0cec2b35d8930a41b /mew.svnwiki | |
| parent | 78ebb6e306d843bb45c0baad563be37828d32fae (diff) | |
| download | mew-beb92ad9009f6b6a338430ba137e33201cca2230.tar.gz mew-beb92ad9009f6b6a338430ba137e33201cca2230.tar.xz mew-beb92ad9009f6b6a338430ba137e33201cca2230.zip | |
add imp
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 |