modal-programming.cabal

cabal-version:      3.0
name:               modal-programming
version:            0.0.0.0
license:            BSD-3-Clause
license-file:       LICENSE.md
copyright:          © 2021–2022 Wolfgang Jeltsch
author:             Wolfgang Jeltsch
maintainer:         wolfgang-it@jeltsch.info
stability:          provisional
homepage:           https://github.com/jeltsch/modal-programming
bug-reports:        https://github.com/jeltsch/modal-programming/issues/new?labels=type%3A%20bugfix
package-url:        https://hackage.haskell.org/package/modal-programming-0.0.0.0/modal-programming-0.0.0.0.tar.gz
synopsis:           Modal programming in Haskell
description:        Haskell 2010 extended with higher-rank polymorphism is
                    approximately System F/ω/ and thus roughly corresponds to
                    intuitionistic higher-order propositional logic via a
                    Curry–Howard isomorphism. GHC’s static pointers extension,
                    while having been conceived specifically for distributed
                    programming, makes it possible to turn Haskell into the
                    Curry–Howard correspondents of typical modal logics. Since
                    the static pointers extension only provides the general
                    basis for modal programming, specific features of languages
                    corresponding to concrete modal logics must be implemented
                    as libraries. The @modal-programming@ package provides
                    support for writing such libraries.
category:           Control, Effect, Type System
tested-with:        GHC == { 9.2.4, 9.4.2 }
extra-source-files: README.md CHANGELOG.md CONTRIBUTING.md

library
    default-language:   Haskell2010
    default-extensions: NoStarIsType
    build-depends:      base >= 4.16 && < 4.18
    exposed-modules:    Control.Modal
    hs-source-dirs:     src

source-repository head
    type:     git
    location: https://github.com/jeltsch/modal-programming.git

source-repository this
    type:     git
    location: https://github.com/jeltsch/modal-programming.git
    tag:      release/0.0.0.0