The sequent-core package

[Tags:bsd3, library]

Sequent Core is a GHC plugin library based on a sequent calculus. It includes:

Properties

Versions 0.1.0.0, 0.2.0.0, 0.2.0.1, 0.3, 0.4, 0.5, 0.5.0.1
Dependencies base (==4.*), bytestring, containers, ghc (>=7.6), sequent-core, transformers [details]
License BSD3
Author Luke Maurer, Paul Downen, Iavor S. Diatchki
Maintainer maurerl@cs.uoregon.edu
Category Development
Home page https://github.com/lukemaurer/sequent-core
Bug tracker https://github.com/lukemaurer/sequent-core
Source repository head: git clone git://github.com/lukemaurer/sequent-core.git
Uploaded Fri Jul 3 12:33:53 UTC 2015 by lukemaurer
Distributions NixOS:0.5.0.1
Downloads 919 total (17 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Last success reported on 2015-07-03 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Flags

NameDescriptionDefaultType
examplesBuild example executables.DisabledManual

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainer's Corner

For package maintainers and hackage trustees