Update to PureScript 0.15.10

- Switch to Spago - Remove MonadZero - Change Proxy2 to Proxy - Run purs-tidy Note: benchmarks will not run until purescript-benchotron can be updated to v0.15.0 (hdgarrood/purescript-benchotron#23).
joe-op · Oct 15, 2023 · bdcd5c9 · bdcd5c9
1 parent 1f1d828
commit bdcd5c9
Show file tree

Hide file tree

Showing 13 changed files with 2,763 additions and 405 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -20,7 +20,7 @@ jobs:
 
       - name: Install dependencies
         run: |
-          npm install -g bower
+          npm install -g spago
           npm install
 
       - name: Build source

diff --git a/.gitignore b/.gitignore
@@ -5,5 +5,6 @@ node_modules/
 tmp/
 .psci_modules/
 .pulp-cache/
+.spago/
 npm-debug.log
 docs/
diff --git a/.purs-repl b/.purs-repl
@@ -0,0 +1 @@
+import Prelude
diff --git a/bower.json b/bower.json