Something went wrong. Try again.
Coding agent with a memory of all things
Something went wrong. Try again.
237 B · 11 lines
123456789101112# eukhe: the proof of LAW dash_entry_example## PROOF: both sides compute.
import Baseimport ../../bend/ffi_dash.bend as FDaimport ../../bend/wire.bend as Wrimport ../../laws/dash.bend as Dash
def Dash.dash_entry_example(): {==}