summaryrefslogtreecommitdiff
path: root/app
diff options
context:
space:
mode:
Diffstat (limited to 'app')
-rw-r--r--app/Web.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/app/Web.hs b/app/Web.hs
index be9fbf9..8faaf4a 100644
--- a/app/Web.hs
+++ b/app/Web.hs
@@ -137,7 +137,7 @@ instance ToHtml HomeView where
[href_ "https://en.wikipedia.org/wiki/Presburger_arithmetic"]
"first-order theory of the natural numbers with addition"
span_ "."
- form_ [method_ "get", action_ "/", class_ (T.pack formclass)] $ do
+ form_ [method_ "get", action_ "/sumcheck", class_ (T.pack formclass)] $ do
p_ $ do
label_ [class_ "focus"] "theorem:"
input_ ([type_ "text", name_ "theorem"] ++ inpval)