1# Bend Bank23A web bank written in [Bend](https://github.com/HigherOrderCO/Bend).4Its rules are laws, proven about the very function that answers every5request: https://bank.bend-lang.com.67- `bank.bend`: accounts, payments, loans and escrow.8- `web.bend`: requests and pages. `Web.serve` answers every request.9- `LAWS.bend`: the laws. `proof/`: a proof of each, from `proof/base.bend`.10 `bend PROOF.bend --verdict` checks them all.11- `host.mjs`: moves bytes between sockets and `Web.serve`, and keeps the12 log of every request that changed the bank.13- `check/run.sh`: the gate before every deploy. It checks the proofs and14 tests the compiled JavaScript against Bend's own evaluator and against15 the CakeML binary built from `cml/`.16- `deploy.sh staging|prod js|cml`: ships what the gate checked, served by17 node or by the CakeML binary.