Skip to content

Commit edcfe6b

Browse files
HeinrichApfelmusjespercockx
HeinrichApfelmus
authored and
jespercockx
committed
Rename file to Containers.agda 
1 parent a1107a2 commit edcfe6b

File tree

4 files changed

+3
-3
lines changed

4 files changed

+3
-3
lines changed

‎lib/containers/agda/containers.agda‎ renamed to ‎lib/containers/agda/Containers.agda‎

File renamed without changes.

‎lib/containers/generate-haskell.sh‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
#!/bin/sh
2-
ROOT=containers.agda
2+
ROOT=Containers.agda
33
AGDA2HS="cabal run agda2hs --"
44
${AGDA2HS} \
55
--no-default-libraries \

‎lib/containers/haskell/Containers.hs‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
module Containers where
2+

‎lib/containers/haskell/containers.hs‎

Lines changed: 0 additions & 2 deletions
This file was deleted.

0 commit comments

Comments
 (0)