From ba0444605b5cdeaa6e0a6fc2707a9e69e64ce7f2 Mon Sep 17 00:00:00 2001
From: cyfraeviolae <cyfraeviolae>
Date: Thu, 24 Feb 2022 13:39:57 -0500
Subject: fix decide url

---
 app/Web.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'app')

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)
-- 
cgit v1.2.3