Generalize Le/Lt to support multiple addends

1 files changed, 12 insertions, 18 deletions

diff --git a/app/Web.hs b/app/Web.hs
index 60b3120..7bc233b 100644
--- a/app/Web.hs
+++ b/app/Web.hs
@@ -163,32 +163,29 @@ instance ToHtml HomeView where
       ul_ $ do
         li_ $ span_ [class_ "theorem"] "c"
         li_ $ span_ [class_ "theorem"] "x"
-      p_ $ span_ "The following are addends:"
-      ul_ $ do
-        li_ $ span_ [class_ "theorem"] "c"
-        li_ $ span_ [class_ "theorem"] "x"
         li_ $ span_ [class_ "theorem"] "cx"
+      p_ $ span_ "The following are relations:"
+      ul_ $ do
+        li_ $ span_ [class_ "theorem"] "="
+        li_ $ span_ [class_ "theorem"] "!="
+        li_ $ span_ [class_ "theorem"] "<="
+        li_ $ span_ [class_ "theorem"] "<"
+        li_ $ span_ [class_ "theorem"] ">="
+        li_ $ span_ [class_ "theorem"] ">"
       p_ $ do
-        span_ "For addends "
+        span_ "For terms "
         code_ "a"
         span_ " and "
         code_ "b"
-        span_ ", terms "
-        code_ "t"
-        span_ " and "
-        code_ "r"
+        span_ ", relation "
+        code_ "★"
         span_ ", and theorems "
         code_ "φ"
         span_ " and "
         code_ "ψ"
         span_ ", the following are theorems:"
       ul_ $ do
-        li_ $ span_ [class_ "theorem"] "a+...=b+..."
-        li_ $ span_ [class_ "theorem"] "a+...!=b+..."
-        li_ $ span_ [class_ "theorem"] "t<=r"
-        li_ $ span_ [class_ "theorem"] "t<r"
-        li_ $ span_ [class_ "theorem"] "t>=r"
-        li_ $ span_ [class_ "theorem"] "t>r"
+        li_ $ span_ [class_ "theorem"] "a+...★b+..."
         li_ $ span_ [class_ "theorem"] "(φ & ψ & ...)"
         li_ $ span_ [class_ "theorem"] "(φ | ψ | ...)"
         li_ $ span_ [class_ "theorem"] "(φ -> ψ)"
@@ -217,6 +214,3 @@ pageTemplate crumbs body = doctypehtml_ $ do
     a_ [href_ (homeURI Nothing), class_ "title"] (strong_ "Sumcheck")
     span_ "@"
     a_ [href_ "https://cyfraeviolae.org"] "cyfraeviolae.org"
-
-tshow :: Show a => a -> T.Text
-tshow = T.pack . show