cabal-version:      3.0
name:               logic
maintainer:         mailto:logic@sourcephile.fr
bug-reports:
  https://radicle.sourcephile.fr/nodes/radicle-mermet.sourcephile.fr/rad:z3795BqJN8hSMGkyAUr8hHviEEi2H/issues

homepage:
  https://radicle.sourcephile.fr/nodes/radicle-mermet.sourcephile.fr/rad:z3795BqJN8hSMGkyAUr8hHviEEi2H

author:             Julien Moutinho <julm+logic@sourcephile.fr>
copyright:          Julien Moutinho <julm+logic@sourcephile.fr>
license:            AGPL-3.0-or-later
license-file:       LICENSES/AGPL-3.0-or-later.txt

-- PVP:             +-+------- breaking API changes
--                  | | +----- non-breaking API additions
--                  | | | +--- code changes with no API change
version:            0.0.0.20240613
stability:          experimental
category:           Logic
synopsis:           Logic names and axioms to build proofs.
description:
  Based upon:

  * Matt Noonan's [Ghosts of departed proofs](https://doi.org/10.1145/3242744.3242755),
  implemented in [gdp](https://hackage.haskell.org/package/gdp).

build-type:         Simple
tested-with:        GHC ==9.6.5
extra-doc-files:
  ChangeLog.md
  Readme.md

extra-source-files:
extra-tmp-files:

source-repository head
  type:     git
  location:
    https://radicle-mermet.sourcephile.fr/z3795BqJN8hSMGkyAUr8hHviEEi2H.git

source-repository head
  type:     rad
  location: rad://z3795BqJN8hSMGkyAUr8hHviEEi2H

common boilerplate
  default-language:   Haskell2010
  default-extensions:
    BlockArguments
    DataKinds
    DefaultSignatures
    DerivingStrategies
    ExplicitNamespaces
    FlexibleContexts
    FlexibleInstances
    ImportQualifiedPost
    LambdaCase
    MultiParamTypeClasses
    NoImplicitPrelude
    PatternSynonyms
    RoleAnnotations
    ScopedTypeVariables
    TypeApplications
    TypeFamilies
    TypeOperators
    TypeSynonymInstances

  ghc-options:
    -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates
    -Wpartial-fields -fprint-potential-instances

library
  import:          boilerplate
  hs-source-dirs:  src
  exposed-modules:
    Logic
    Logic.Kernel
    Logic.Theory
    Logic.Theory.Arithmetic
    Logic.Theory.Bool
    Logic.Theory.Eq
    Logic.Theory.List
    Logic.Theory.Ord
    Logic.Theory.Semigroup

  build-depends:   base >=4.10 && <5