Something went wrong. Try again.
Coding agent with a memory of all things
Something went wrong. Try again.
363 B · 20 lines
123456789101112131415161718192021# eukhe: the proof of LAW tiny_bind_spec
import Baseimport ../../bend/tiny.bend as Tnimport ../../laws/tiny.bend as Tiny
def Tiny.tiny_bind_spec(p): match p: case Tn.Missing{}: {==} case Tn.Unreachable{}: {==} case Tn.Pong{t}: {==} case Tn.Odd{}: {==} case Tn.Garbled{}: {==} case Tn.Hung{}: {==}