proof(idris2): tighten Ephapax.Parse.Stream to %default total#90

hyperpolymath merged 1 commit into

mainhyperpolymath/ephapax:mainfrom

proof-debt/ephapax-stream-totalityhyperpolymath/ephapax:proof-debt/ephapax-stream-totalityCopy head branch name to clipboard