@hackage keiro-dsl0.4.0.1
Typed specification toolchain for keiro services
Categories
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
Tested Compilers
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 Show all…
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).