summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorcyfraeviolae <cyfraeviolae>2022-02-24 13:39:57 -0500
committercyfraeviolae <cyfraeviolae>2022-02-24 13:39:57 -0500
commitba0444605b5cdeaa6e0a6fc2707a9e69e64ce7f2 (patch)
treea4666964148d8b36ef5f9f21e25a125d6317a480
parent3451083187a70ee4dfe249d2dee20e8d8e5b58d6 (diff)
fix decide url
-rw-r--r--app/Web.hs2
-rwxr-xr-xdist/sumcheck-exebin21633560 -> 21633560 bytes
2 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)
diff --git a/dist/sumcheck-exe b/dist/sumcheck-exe
index 01c167b..54704a3 100755
--- a/dist/sumcheck-exe
+++ b/dist/sumcheck-exe
Binary files differ