@hackage / keiro-dsl

Typed specification toolchain for keiro services

Latest0.3.0.0

About

Metadata

  • Last updated , by shinzui
  • License BSD-3-Clause
  • Categories Development

  • Maintained by: nadeem@gmail.com

  • Lottery factor: 1

Links

Installation

Tested Compilers

  1. 9.12.2
  2. 9.12.1

Readme

keiro-dsl is the toolchain over a typed `.keiro` specification of a keiro service: a parser + checker + scaffolder + harness emitter. It emits the symbol-free deterministic layer plus typed holes, never a keiki symbolic operator (the firewall invariant).