Something went wrong. Try again.
Coding agent with a memory of all things
Something went wrong. Try again.
383 B · 16 lines
1234567891011121314151617# eukhe: the proof of LAW kernel_answer_exact
import Baseimport ../../bend/kernel_local.bend as KLimport ../../laws/kernel_local.bend as KernelLocal
def KernelLocal.kernel_answer_exact(t, k): match t k: case KL.Python{} KL.Up{}: {==} case KL.Python{} KL.Missing{}: {==} case KL.Other{n} KL.Up{}: {==} case KL.Other{n} KL.Missing{}: {==}