release.bend source

release.bend on the hub · documented module

# SPDX-License-Identifier: MIT-0# Publication entry includes the API, independent model, laws, filled proofs,# concrete witnesses, executable conformance, and minimal consumer.import Baseimport ./PROOF.bend as Proofimport ./conformance.bend as Checksimport ./example.bend as Exampledef main() -> IO(Unit):  do IO<Unit>:    Checks.main()    Example.main()