Cabal revisions of funcons-simple-0.1.0.7
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
--- Initial funcons-simple.cabal generated by cabal init. For further --- documentation, see http://haskell.org/cabal/users-guide/--name: funcons-simple-version: 0.1.0.7-synopsis: A modular interpreter for executing SIMPLE funcons -description: - The PLanCompS (<http://plancomps.org>) project has developed a component-based approach to formal semantics.- A reusable component of language definition corresponds to a fundamental - programming construct: a `funcon', which has a fixed operational interpretation.-- This package provides an interpreter for the funcons of SIMPLE <https://plancomps.github.io/CBS-beta/Languages-beta/SIMPLE/> extending the interpreter for the reusable funcons of /funcons-tools/ <https://hackage.haskell.org/package/funcons-tools>- -homepage: https://plancomps.github.io/CBS-beta/Languages-beta/SIMPLE/-license: MIT-license-file: LICENSE-author: L. Thomas van Binsbergen and Neil Sculthorpe-maintainer: L. Thomas van Binsbergen <ltvanbinsbergen@acm.org>-copyright: Copyright (C) 2015 L. Thomas van Binsbergen and Neil Sculthorpe-category: Compilers/Interpreters--- copyright: -build-type: Simple-extra-source-files: tests/Advanced/*.smp,- tests/Advanced/*.fct, - tests/Advanced/*.output, - tests/Basic/*.smp, - tests/Basic/*.fct, - tests/Basic/*.output,- tests/Kdiverse/*.smp,- tests/Kdiverse/*.fct,- tests/Kdiverse/*.output,- tests/Kdiverse/*.config,- tests/Kexceptions/*.smp - tests/Kexceptions/*.fct- tests/Kexceptions/*.output- tests/SIMPLE.config- tests/SIMPLE-interactive.config- tests/README.txt- tests/run-tests.sh- tests/run-K-tests-exceptions.sh- tests/run-K-tests.sh- tests/run-K-tests-refocused.sh-cabal-version: >=1.10--executable runfct-SIMPLE - main-is: Main.hs- other-modules: Funcons.SIMPLE.SIMPLE4Declarations.SIMPLE4Declarations, Funcons.SIMPLE.Library - -- other-extensions: - build-depends: base >=4.8 && <=5, funcons-tools >= 0.2.0.8, funcons-values >= 0.1.0.6- hs-source-dirs: src- default-language: Haskell2010+-- Initial funcons-simple.cabal generated by cabal init. For further +-- documentation, see http://haskell.org/cabal/users-guide/ + +name: funcons-simple +version: 0.1.0.7 +x-revision: 1 +synopsis: A modular interpreter for executing SIMPLE funcons +description: + The PLanCompS (<http://plancomps.org>) project has developed a component-based approach to formal semantics. + A reusable component of language definition corresponds to a fundamental + programming construct: a `funcon', which has a fixed operational interpretation. + + This package provides an interpreter for the funcons of SIMPLE <https://plancomps.github.io/CBS-beta/Languages-beta/SIMPLE/> extending the interpreter for the reusable funcons of /funcons-tools/ <https://hackage.haskell.org/package/funcons-tools> + +homepage: https://plancomps.github.io/CBS-beta/Languages-beta/SIMPLE/ +license: MIT +license-file: LICENSE +author: L. Thomas van Binsbergen and Neil Sculthorpe +maintainer: L. Thomas van Binsbergen <ltvanbinsbergen@acm.org> +copyright: Copyright (C) 2015 L. Thomas van Binsbergen and Neil Sculthorpe +category: Compilers/Interpreters +-- copyright: +build-type: Simple +extra-source-files: tests/Advanced/*.smp, + tests/Advanced/*.fct, + tests/Advanced/*.output, + tests/Basic/*.smp, + tests/Basic/*.fct, + tests/Basic/*.output, + tests/Kdiverse/*.smp, + tests/Kdiverse/*.fct, + tests/Kdiverse/*.output, + tests/Kdiverse/*.config, + tests/Kexceptions/*.smp + tests/Kexceptions/*.fct + tests/Kexceptions/*.output + tests/SIMPLE.config + tests/SIMPLE-interactive.config + tests/README.txt + tests/run-tests.sh + tests/run-K-tests-exceptions.sh + tests/run-K-tests.sh + tests/run-K-tests-refocused.sh +cabal-version: >=1.10 + +executable runfct-SIMPLE + main-is: Main.hs + other-modules: Funcons.SIMPLE.SIMPLE4Declarations.SIMPLE4Declarations, Funcons.SIMPLE.Library + -- other-extensions: + build-depends: base >=4.8 && <=5, funcons-tools >= 0.2.0.7, funcons-values >= 0.1.0.5 + hs-source-dirs: src + default-language: Haskell2010