Something went wrong. Try again.
Coding agent with a memory of all things
Something went wrong. Try again.
232 B · 9 lines
12345678910# eukhe: the proof of LAW command_named_example## PROOF of LAW command_named_example: closed; both sides compute.
import Baseimport ../../laws/command/named.bend as CommandNamed
def CommandNamed.command_named_example(): {==}