From ae603f2423e967c55dfd31b0dec26d19584aa322 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Sat, 23 Dec 2023 23:12:03 +0100
Subject: Can typecheck universe-polymorphic id

---
 miniagda.cabal | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'miniagda.cabal')

diff --git a/miniagda.cabal b/miniagda.cabal
index 159a27a..fd41c41 100644
--- a/miniagda.cabal
+++ b/miniagda.cabal
@@ -25,7 +25,9 @@ library
 executable miniagda
   main-is:          Main.hs
   build-depends:
-    base
+    miniagda,
+    base,
+    containers
   hs-source-dirs: app
   default-language: Haskell2010
   ghc-options: -Wall
-- 
cgit v1.2.3-70-g09d2