release.bend checks

raw source on the hub · import 0x99e32f5f97dad3791a32b01d133555c5/release.bend as Release

SPDX-License-Identifier: MIT-0 Publication entry includes the API, independent model, laws, filled proofs, concrete witnesses, executable conformance, and minimal consumer.

4 imports

import Base
import ./PROOF.bend as Proof
import ./conformance.bend as Checks
import ./example.bend as Example

Definitions

def main source · line 9 · raw

IO(Unit)