@hackage / funcons-simple

A modular interpreter for executing SIMPLE funcons

Latest0.1.0.7

Metadata

Last updated 14 Dec 2018, by ltvanbinsbergen
License MIT
Categories Compilers and Interpreters
Maintained by: L. Thomas van Binsbergen <ltvanbinsbergen@acm.org>
Lottery factor: 0

Links

Homepage
Documentation
No source repository

Installation

Add this line in your cabal file

Readme

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