diff options
Diffstat (limited to 'app')
| -rw-r--r-- | app/Web.hs | 30 |
1 files changed, 12 insertions, 18 deletions
@@ -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 |