Bend Bank: the code running at bank.bend-lang.com, commit 3f74b0621719

• LAWS.bend (raw)
• PROOF.bend (raw)
• proof/access.bend (raw)
• proof/atomicity.bend (raw)
• proof/authority.bend (raw)
• proof/base.bend (raw)
• proof/conservation.bend (raw)
• proof/escrow.bend (raw)
• proof/join.bend (raw)
• proof/loan.bend (raw)
• proof/privacy.bend (raw)
• proof/sound.bend (raw)
• proof/split.bend (raw)
• proof/totality.bend (raw)
• bank.bend (raw)
• web.bend (raw)
• host.mjs (raw)
• seed.mjs (raw)
• cml/host.cml (raw)
• cml/ffi.c (raw)
• cml/build.sh (raw)
• cml/CAKEML (raw)
• README.md (raw)