proof/totality.bend · raw · all files

1# Bend Bank: the proof of LAW totality2# ====================================34import Base5import ../web.bend as W6import ../LAWS.bend as Laws78# Web.serve is a total def: its own reply is the witness9def Laws.totality(s, input):10  (W.Web.serve(s, input), {==})