Add just-a-monad (#124)

stefan-hoeck · Aug 24, 2023 · beaf1a6 · beaf1a6
1 parent 090fdae
commit beaf1a6
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/collections/HEAD.toml b/collections/HEAD.toml
@@ -258,6 +258,12 @@ commit = "main"
 ipkg   = "simple/json-simple.ipkg"
 test   = "test/test.ipkg"
 
+[db.just-a-monad]
+type   = "github"
+url    = "https://github.com/Russoul/Just-a-Monad"
+commit = "main"
+ipkg   = "just-a-monad.ipkg"
+
 [db.katla]
 type   = "github"
 url    = "https://github.com/idris-community/katla"