test(idris2): port 5 Deno + 1 JS test files to Idris2 (estate port 8/11)#61

hyperpolymath merged 2 commits into

mainhyperpolymath/stapeln:mainfrom

feat/port-ts-tests-to-idris2hyperpolymath/stapeln:feat/port-ts-tests-to-idris2Copy head branch name to clipboard