logic.cabal

   1 cabal-version:      3.0
   2 name:               logic
   3 maintainer:         mailto:logic@sourcephile.fr
   4 bug-reports:
   5   https://radicle.sourcephile.fr/nodes/radicle-mermet.sourcephile.fr/rad:z3795BqJN8hSMGkyAUr8hHviEEi2H/issues
   6
   7 homepage:
   8   https://radicle.sourcephile.fr/nodes/radicle-mermet.sourcephile.fr/rad:z3795BqJN8hSMGkyAUr8hHviEEi2H
   9
  10 author:             Julien Moutinho <julm+logic@sourcephile.fr>
  11 copyright:          Julien Moutinho <julm+logic@sourcephile.fr>
  12 license:            AGPL-3.0-or-later
  13 license-file:       LICENSES/AGPL-3.0-or-later.txt
  14
  15 -- PVP:             +-+------- breaking API changes
  16 --                  | | +----- non-breaking API additions
  17 --                  | | | +--- code changes with no API change
  18 version:            0.0.0.20240613
  19 stability:          experimental
  20 category:           Logic
  21 synopsis:           Logic names and axioms to build proofs.
  22 description:
  23   Based upon:
  24
  25   * Matt Noonan's [Ghosts of departed proofs](https://doi.org/10.1145/3242744.3242755),
  26   implemented in [gdp](https://hackage.haskell.org/package/gdp).
  27
  28 build-type:         Simple
  29 tested-with:        GHC ==9.6.5
  30 extra-doc-files:
  31   ChangeLog.md
  32   Readme.md
  33
  34 extra-source-files:
  35 extra-tmp-files:
  36
  37 source-repository head
  38   type:     git
  39   location:
  40     https://radicle-mermet.sourcephile.fr/z3795BqJN8hSMGkyAUr8hHviEEi2H.git
  41
  42 source-repository head
  43   type:     rad
  44   location: rad://z3795BqJN8hSMGkyAUr8hHviEEi2H
  45
  46 common boilerplate
  47   default-language:   Haskell2010
  48   default-extensions:
  49     BlockArguments
  50     DataKinds
  51     DefaultSignatures
  52     DerivingStrategies
  53     ExplicitNamespaces
  54     FlexibleContexts
  55     FlexibleInstances
  56     ImportQualifiedPost
  57     LambdaCase
  58     MultiParamTypeClasses
  59     NoImplicitPrelude
  60     PatternSynonyms
  61     RoleAnnotations
  62     ScopedTypeVariables
  63     TypeApplications
  64     TypeFamilies
  65     TypeOperators
  66     TypeSynonymInstances
  67
  68   ghc-options:
  69     -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates
  70     -Wpartial-fields -fprint-potential-instances
  71
  72 library
  73   import:          boilerplate
  74   hs-source-dirs:  src
  75   exposed-modules:
  76     Logic
  77     Logic.Kernel
  78     Logic.Theory
  79     Logic.Theory.Arithmetic
  80     Logic.Theory.Bool
  81     Logic.Theory.Eq
  82     Logic.Theory.List
  83     Logic.Theory.Ord
  84     Logic.Theory.Semigroup
  85
  86   build-depends:   base >=4.10 && <5