fix decide url

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)