From 8de133095dec141faad8c79c79e4569ad8b65d9f Mon Sep 17 00:00:00 2001 From: William Ball Date: Mon, 11 Nov 2024 23:39:29 -0800 Subject: [PATCH] renamed project --- lambda-D.cabal => dependent-lambda.cabal | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) rename lambda-D.cabal => dependent-lambda.cabal (95%) 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