seems to work

f-o-a-m · Sep 30, 2023 · f74bb7c · f74bb7c
1 parent 1cc2a61
commit f74bb7c
Show file tree

Hide file tree

Showing 7 changed files with 203 additions and 161 deletions.
diff --git a/spago.dhall b/spago.dhall
@@ -21,7 +21,6 @@
   , "heterogeneous"
   , "maybe"
   , "newtype"
-  , "orders"
   , "parallel"
   , "parsing"
   , "partial"