homepage: https://plancomps.github.io/CBS-beta/Languages-beta/SIMPLE/
changelog-type: ''
hash: b78c6a3d88a0f59373ef0b78c7caca49bc91b97f17a4855b41d4e0b4a9181e35
test-bench-deps: {}
maintainer: L. Thomas van Binsbergen <ltvanbinsbergen@acm.org>
synopsis: A modular interpreter for executing SIMPLE funcons
changelog: ''
basic-deps:
  funcons-tools: ! '>=0.2.0.5'
  base: ! '>=4.8 && <=5'
  funcons-values: ! '>=0.1.0.3'
all-versions:
- '0.1.0.3'
author: L. Thomas van Binsbergen and Neil Sculthorpe
latest: '0.1.0.3'
description-type: haddock
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>'
license-name: MIT

Update from Hackage at 2018-07-12T09:36:01Z
Update from Hackage at 2018-07-12T09:36:01Z
