From beaf1a664f37bc6bb7446e8f1fdab1f0505f3a04 Mon Sep 17 00:00:00 2001 From: Ruslan Date: Thu, 24 Aug 2023 08:56:15 +0400 Subject: [PATCH] Add just-a-monad (#124) --- collections/HEAD.toml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/collections/HEAD.toml b/collections/HEAD.toml index 440534b26..cdbbb09b9 100644 --- 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"