diff --git a/lambda-D.cabal b/dependent-lambda.cabal
similarity index 95%
rename from lambda-D.cabal
rename to dependent-lambda.cabal
index 1e70061..e04ad28 100644
--- a/lambda-D.cabal
+++ b/dependent-lambda.cabal
@@ -6,12 +6,12 @@ cabal-version:      3.0
 -- Starting from the specification version 2.2, the cabal-version field must be
 -- the first thing in the cabal file.
 
--- Initial package description 'lambda-D' generated by
+-- Initial package description 'dependent-lambda' generated by
 -- 'cabal init'. For further documentation, see:
 --   http://haskell.org/cabal/users-guide/
 --
 -- The name of the package.
-name:               lambda-D
+name:               dependent-lambda
 
 -- The package version.
 -- See the Haskell package versioning policy (PVP) for standards
@@ -54,7 +54,7 @@ extra-doc-files:    CHANGELOG.md
 common warnings
     ghc-options: -Wall
 
-executable lambda-D
+executable dependent-lambda
     -- Import common warning flags.
     import:           warnings