fix(#60): replace Idris1 postulate resampleFrame with pure Idris2 linear interp#75

hyperpolymath merged 1 commit into

mainhyperpolymath/burble:mainfrom

fix/burble-60-foreign-resamplehyperpolymath/burble:fix/burble-60-foreign-resampleCopy head branch name to clipboard