@hackage / funcons-intgen

Generate Funcons interpreters from CBS description files

Latest0.2.0.3

About

Metadata

  • Last updated , by ltvanbinsbergen
  • License MIT
  • Maintained by: L. Thomas van Binsbergen <ltvanbinsbergen@acm.org>

  • Lottery factor: 1

Links

Installation

Readme

Transpiler generating Haskell micro-interpreters from CBS funcon definitions, see Executable Component-Based Semantics