package.bend

bend-osdev-bytes@0.1.1.0 · 7 lines · 0 definitions

1# bend-osdev-bytes: every file of the package, so that bend --publish sends
2# them all (written by scripts/publish.py; not in the repository)
3import Base
4import bend-osdev-bytes@0.1.1.0/LAWS.bend as F0
5import bend-osdev-bytes@0.1.1.0/PROOF.bend as F1
6import bend-osdev-bytes@0.1.1.0/bytes.bend as F2
7import bend-osdev-bytes@0.1.1.0/check.bend as F3