Add just-a-monad

stefan-hoeck · Aug 22, 2023 · 95708d4 · 95708d4
1 parent 0530ad5
commit 95708d4
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"