fix(agda): repair EchoSearchExample against current axis-8 API and wire it in - #353

fix(agda): repair EchoSearchExample against current axis-8 API and wire it in#353

hyperpolymath merged 3 commits into

mainhyperpolymath/echo-types:mainfrom

claude/kind-clarke-aqpe7ahyperpolymath/echo-types:claude/kind-clarke-aqpe7aCopy head branch name to clipboard