Add my theory and control-flow packages (#189)

stefan-hoeck · Jan 28, 2025 · e8c1460 · e8c1460
1 parent a9f17bc
commit e8c1460
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/collections/HEAD.toml b/collections/HEAD.toml
@@ -113,6 +113,12 @@ commit = "master"
 ipkg   = "collection-utils.ipkg"
 test   = "test/test.ipkg"
 
+[db.control-flow]
+type   = "github"
+url    = "https://github.com/JankaGramofonomanka/idris-compiler-tools"
+commit = "master"
+ipkg   = "control-flow/control-flow.ipkg"
+
 [db.comonad]
 type   = "github"
 url    = "https://github.com/stefan-hoeck/idris2-comonad"
@@ -826,6 +832,12 @@ url    = "https://github.com/cuddlefishie/tester-idr"
 commit = "main"
 ipkg   = "tester.ipkg"
 
+[db.theory]
+type   = "github"
+url    = "https://github.com/JankaGramofonomanka/idris-theory"
+commit = "master"
+ipkg   = "theory.ipkg"
+
 [db.toml]
 type   = "github"
 url    = "https://github.com/cuddlefishie/toml-idr"