The latest version of sequent-core is 0.5.0.1-0.
sequent-core
Version 0.1.0.0 revision 0 uploaded by pdownen.
Package meta
- Synopsis
- Alternative Core language for GHC plugins
- Description
Sequent Core is a GHC plugin library based on a sequent calculus. It includes:
A set of datatypes for a language expressing function code as interactions between values and their contexts (continuations)
A library for writing GHC optimizer plugins that uses the Sequent Core language in place of the built-in Core language
An example plugin written using Sequent Core
- Author
- Luke Maurer, Paul Downen, Iavor S. Diatchki
- Bug reports
- https://github.com/lukemaurer/sequent-core
- Category
- Development
- Copyright
- n/a
- Homepage
- https://github.com/lukemaurer/sequent-core
- Maintainer
- maurerl@cs.uoregon.edu
- Package URL
- https://github.com/lukemaurer/sequent-core/archive/master.zip
- Stability
- experimental