Something went wrong. Try again.
Coding agent with a memory of all things
Something went wrong. Try again.
206 B · 10 lines
1234567891011# eukhe: the proof of LAW dash_token_example## PROOF: both sides compute.
import Baseimport ../../bend/dash.bend as Daimport ../../laws/dash.bend as Dash
def Dash.dash_token_example(): ({==}, {==})