funcons-values

Library providing values and operations on values in a fixed universe. http://plancomps.org

Latest on Hackage:0.1.0.3

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

MIT licensed by L. Thomas van Binsbergen and Neil Sculthorpe

The PLanCompS project (http://plancomps.org) has developed a component-based approach to formal semantics. The semantics of a language is defined by translating its constructs to combinations of `fundamental constructs' called funcons.

This package provides a fixed universe types, values and operations which are lifted to funcons as part of the funcons-tools package (http://hackage.haskell.org/package/funcons-tools).

Depends on 7 packages:
Used by 2 packages:
comments powered byDisqus