@hackage keiro-dsl0.4.0.1

Typed specification toolchain for keiro services

Categories
- Development
License
BSD-3-Clause
Maintainer
nadeem@gmail.com
Links
- Documentation
- No source repository
- Changelog
- Security
Versions
- 0.4.0.1 Wed, 29 Jul 2026

Installation
In your cabal file:
Tested Compilers
- 9.12.2
- 9.12.1
Dependencies (10)
- aeson >=2.2.1 && <2.3
- base >=4.21 && <5
- bytestring >=0.12 && <0.13
- containers >=0.6 && <0.8
- directory >=1.3 && <1.4
- filepath >=1.4 && <1.6
Dependents (0)

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).

@hackage keiro-dsl0.4.0.1

Categories

License

Maintainer

Links

Versions

Installation

Tested Compilers

Dependencies (10)

Dependents (0)