diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2023-12-23 23:12:03 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2023-12-23 23:12:07 +0100 |
| commit | ae603f2423e967c55dfd31b0dec26d19584aa322 (patch) | |
| tree | d40ba193a58001453825c7f4dcd164767e327577 /miniagda.cabal | |
| parent | 37acb2efba1cd159bda5d163192e2aba70c4e26b (diff) | |
Can typecheck universe-polymorphic id
Diffstat (limited to 'miniagda.cabal')
| -rw-r--r-- | miniagda.cabal | 4 |
1 files changed, 3 insertions, 1 deletions
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 |