sequent-core: Alternative Core language for GHC plugins

[ bsd3, development, library ] [ Propose Tags ]

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

Versions [RSS] [faq],,, 0.3, 0.4, 0.5,
Dependencies base (==4.*), ghc (>=7.6), sequent-core [details]
License BSD-3-Clause
Author Luke Maurer, Paul Downen, Iavor S. Diatchki
Category Development
Home page
Bug tracker
Source repo head: git clone git://
Uploaded by pdownen at 2014-11-17T16:57:26Z
Distributions NixOS:
Executables Example
Downloads 4456 total (18 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees