# SPDX-License-Identifier: MIT-0
# Publication entry includes the API, independent model, laws, filled proofs,
# concrete witnesses, executable conformance, and minimal consumer.
import Base
import ./PROOF.bend as Proof
import ./conformance.bend as Checks
import ./example.bend as Example

def main() -> IO(Unit):
  do IO<Unit>:
    Checks.main()
    Example.main()