funcons-values: Library providing values and operations on values in a fixed universe.

[ compilers-interpreters, library, mit ] [ Propose Tags ]

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).

Versions [faq] 0.1.0.0, 0.1.0.2, 0.1.0.3, 0.1.0.5, 0.1.0.7 (info)
Dependencies base (>=4.8 && <5), bv (>=0.5), containers (>=0.5 && <=0.6.0.1), multiset (==0.3.*), text (==1.2.*), vector (>=0.12) [details]
License MIT
Author L. Thomas van Binsbergen and Neil Sculthorpe
Maintainer L. Thomas van Binsbergen <ltvanbinsbergen@acm.org>
Revised Revision 1 made by ltvanbinsbergen at Sun Mar 3 09:10:32 UTC 2019
Category Compilers/Interpreters
Home page http://plancomps.org
Uploaded by ltvanbinsbergen at Sat Mar 2 11:41:23 UTC 2019
Distributions NixOS:0.1.0.7
Downloads 925 total (79 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2019-03-02 [all 1 reports]

Modules

[Index] [Quick Jump]

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees