Package maintainers and Hackage trustees are allowed to edit certain bits
of package metadata after a release, without uploading a new tarball.
Note that the tarball itself is never changed, just the metadata that is
stored separately. For more information about metadata revisions, please
refer to the
Hackage Metadata Revisions FAQ.
No. |
Time |
User |
SHA256 |
-r2 (funcons-tools-0.1.0.0-r2) |
2016-02-11T14:58:37Z |
ltvanbinsbergen |
fee9ad9bc35f0d9b37f5a219ca853dd55ff6baaa761e587b27ab4e6f00716014
|
|
Changed description
from The PLanCompS project 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/.
Read more about the project here: <http://plancomps.org>.
Read more about funcons and their specification in CBS here: <http://plancomps.dreamhosters.com/wp-content/uploads/2016/02/jlamp-16.pdf JLAMP2016>.
This package provides a collection of highly reusable funcons in "Funcons.Core",
an interpreter for these funcons and means for defining new funcons.
The executable provided by this package is an interpreter for running terms
constructed from the collection of funcons provided by "Funcons.Core".
How this executable is used is explained in "Funcons.Tools".
Additional funcons can be defined with the helper functions provided by
"Funcons.EDSL". The module "Funcons.Tools" provides functions for creating
executables by extending the main interpreter with additional funcons.
Please contact any of the maintainers when unexpected behaviour is encountered
or exports appear to be missing.
to The PLanCompS project 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/.
Read more about the project here: <http://plancomps.org>.
Read more about funcons and their specification in CBS here: <http://plancomps.dreamhosters.com/wp-content/uploads/2016/02/jlamp-16.pdf JLAMP2016>.
This package provides a collection of highly reusable funcons in "Funcons.Core",
an interpreter for these funcons and means for defining new funcons.
The executable provided by this package is an interpreter for running terms
constructed from the collection of funcons provided by "Funcons.Core".
How this executable is used is explained in "Funcons.Tools".
Additional funcons can be defined with the helper functions provided by
"Funcons.EDSL". The module "Funcons.Tools" provides functions for creating
executables by extending the main interpreter with additional funcons.
Please contact any of the maintainers when unexpected behaviour is encountered
or exports appear to be missing.
Click <https://hackage.haskell.org/package/funcons-tools-0.1.0.0/docs/src/funcons-tools/index.html here> for the package's documentation.
|
-r1 (funcons-tools-0.1.0.0-r1) |
2016-02-11T08:46:23Z |
ltvanbinsbergen |
2b801190ae2803bfd3e9551172f29c25f0d66de8aedbba74253964cce79fb102
|
|
Changed description
from The PLanCompS project 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/.
Read more about the project here: <http://plancomps.org>.
Read more about funcons and their specification in CBS here: <http://plancomps.dreamhosters.com/taosd2015/ TAOSD2015>.
This package provides a collection of highly reusable funcons in "Funcons.Core",
an interpreter for these funcons and means for defining new funcons.
The executable provided by this package is an interpreter for running terms
constructed from the collection of funcons provided by "Funcons.Core".
How this executable is used is explained in "Funcons.Tools".
Additional funcons can be defined with the helper functions provided by
"Funcons.EDSL". The module "Funcons.Tools" provides functions for creating
executables by extending the main interpreter with additional funcons.
Please contact any of the maintainers when unexpected behaviour is encountered
or exports appear to be missing.
to The PLanCompS project 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/.
Read more about the project here: <http://plancomps.org>.
Read more about funcons and their specification in CBS here: <http://plancomps.dreamhosters.com/wp-content/uploads/2016/02/jlamp-16.pdf JLAMP2016>.
This package provides a collection of highly reusable funcons in "Funcons.Core",
an interpreter for these funcons and means for defining new funcons.
The executable provided by this package is an interpreter for running terms
constructed from the collection of funcons provided by "Funcons.Core".
How this executable is used is explained in "Funcons.Tools".
Additional funcons can be defined with the helper functions provided by
"Funcons.EDSL". The module "Funcons.Tools" provides functions for creating
executables by extending the main interpreter with additional funcons.
Please contact any of the maintainers when unexpected behaviour is encountered
or exports appear to be missing.
|
-r0 (funcons-tools-0.1.0.0-r0) |
2016-02-09T14:55:51Z |
ltvanbinsbergen |
92c6daacb9bf5f8f6d1c44bf1b56ee67f79eec8ecb0414684825447c133cf9fb
|
|
|