@hackage / improve

An imperative, verifiable programming language for high assurance applications.

0.4.0

Dependents

@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain
@hackage / vcd Reading and writing VCD files.
- Version: 0.2.2
- Last uploaded: 13 years ago
- License: BSD-3-Clause