Add download button

2025-08-27 21:15:20 -07:00
parent 5e795ac9f3
commit 6a4a0f5719
4 changed files with 92 additions and 66 deletions
--- a/spago.dhall
+++ b/spago.dhall
@@ -19,6 +19,7 @@ to generate this file without the comments in this block.
  , "exceptions"
  , "foldable-traversable"
  , "integers"
+  , "js-uri"
  , "lists"
  , "maybe"
  , "numbers"