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 +-
 dist/sumcheck-exe | Bin 21633560 -> 21633560 bytes
 2 files changed, 1 insertion(+), 1 deletion(-)

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)
diff --git a/dist/sumcheck-exe b/dist/sumcheck-exe
index 01c167b..54704a3 100755
Binary files a/dist/sumcheck-exe and b/dist/sumcheck-exe differ
-- 
cgit v1.2.3