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 Benchmarkdef main() -> U32: Example.main()
release.bend on the hub · documented module
import Baseimport ./PROOF.bend as Proofimport ./example.bend as Exampleimport ./conformance.bend as Conformanceimport ./benchmark.bend as Benchmarkdef main() -> U32: Example.main()