install agda2hs

tomaz1502 · Jul 14, 2024 · a7ccb1e · a7ccb1e
1 parent 486767e
commit a7ccb1e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/haskell.yml b/.github/workflows/haskell.yml
@@ -27,6 +27,7 @@ jobs:
         stack update
         cabal update
         cabal install Agda
+        cabal install agda2hs
     - name: Build
       run: |
         agda2hs ./src/Lam/Agda/Lam/Export.agda