From 5d0b418ffe871b9b1ce8fcdf31786ad737401508 Mon Sep 17 00:00:00 2001 From: Christopher Brannon Date: Wed, 21 Dec 2022 06:24:49 -0800 Subject: antedecent -> antecedent Closes: #1 [via git-merge-pr] --- mew.svnwiki | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/mew.svnwiki b/mew.svnwiki index 0099046..00b4724 100644 --- a/mew.svnwiki +++ b/mew.svnwiki @@ -291,10 +291,10 @@ but {{}} always takes the accumulator as first arguments, and the items after. This is more practical when multiple {{lists}} are passed. -(imp ... ) +(imp ... ) -Material implication: evaluate {{...}} until one is false, -then shortcut and return true. If all {{...}} are true, +Material implication: evaluate {{...}} until one is false, +then shortcut and return true. If all {{...}} are true, evaluate {{}}. -- cgit 1.4.1