release.bend source

release.bend on the hub · documented module

import Baseimport ./PROOF.bend as Proofimport ./conformance.bend as Testsimport ./example.bend as Exampledef main() -> IO(Unit):  Example.main()