From 14a4f246b61e763cea32281e3a5f73bde38fe5d4 Mon Sep 17 00:00:00 2001 From: Jacques Comeaux Date: Fri, 16 Feb 2024 20:29:43 -0600 Subject: Add helper function for merging finite sets --- package.yaml | 69 ------------------------------------------------------------ 1 file changed, 69 deletions(-) delete mode 100644 package.yaml (limited to 'package.yaml') diff --git a/package.yaml b/package.yaml deleted file mode 100644 index 5793777..0000000 --- a/package.yaml +++ /dev/null @@ -1,69 +0,0 @@ -name: circuits -version: 0.1.0.0 -github: "githubuser/circuits" -license: BSD3 -author: "Author name here" -maintainer: "example@example.com" -copyright: "2022 Author name here" - -extra-source-files: -- README.md - -# Metadata used when publishing your package -# synopsis: Short description of your package -# category: Web - -# To avoid duplicated efforts in documentation and dealing with the -# complications of embedding Haddock markup inside cabal files, it is -# common to point users to the README.md file. -description: Please see the README on GitHub at - -dependencies: -- base >= 4.7 && < 5 -- rio - -library: - source-dirs: src - -ghc-options: -- -Wall -- -Wcompat -- -Wincomplete-record-updates -- -Wredundant-constraints -- -Wmissing-local-signatures -- -Wmissing-export-lists -- -Wpartial-fields -- -Wmonomorphism-restriction -- -Widentities -- -Wno-unticked-promoted-constructors -- -fprint-expanded-synonyms - -default-extensions: -- ApplicativeDo -- BangPatterns -- ConstraintKinds -- DataKinds -- EmptyCase -- ExistentialQuantification -- FlexibleContexts -- FlexibleInstances -- GADTs -- GeneralizedNewtypeDeriving -- InstanceSigs -- KindSignatures -- LambdaCase -- MultiParamTypeClasses -- NoImplicitPrelude -- NoStarIsType -- OverloadedStrings -- PatternSynonyms -- PolyKinds -- RankNTypes -- ScopedTypeVariables -- StandaloneDeriving -- StandaloneKindSignatures -- TupleSections -- TypeApplications -- TypeFamilies -- TypeFamilyDependencies -- TypeOperators -- cgit v1.2.3