Metadata revisions for funcons-tools-0.1.0.0

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 Changes
-r2 Thu Feb 11 14:58:37 UTC 2016 ltvanbinsbergen
  • 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 Thu Feb 11 08:46:23 UTC 2016 ltvanbinsbergen
  • 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 Tue Feb 9 14:55:51 UTC 2016 ltvanbinsbergen