release.bend source

release.bend on the hub · documented module

import Baseimport ./PROOF.bend as Proofimport ./example.bend as Exampleimport ./conformance.bend as Conformanceimport ./benchmark.bend as Benchmarkimport ./tests/invalid_scalars.bend as InvalidScalarsdef main() -> String:  Example.main()