Rename file to Containers.agda

HeinrichApfelmus · HeinrichApfelmus · commit 9aceff4e7363 · 2025-06-12T12:46:51.000+02:00
diff --git a/lib/containers/generate-haskell.sh b/lib/containers/generate-haskell.sh
@@ -1,5 +1,5 @@
 #!/bin/sh
-ROOT=containers.agda
+ROOT=Containers.agda
 AGDA2HS="cabal run agda2hs --"
 ${AGDA2HS} \
     --no-default-libraries \
diff --git a/lib/containers/haskell/containers.hs b/lib/containers/haskell/containers.hs
@@ -1,2 +1,2 @@
-module containers where
+module Containers where
 
