test(idris2): port 7 TS test files to Idris2 (estate port 11/11 — FINAL)#56

hyperpolymath merged 2 commits into

mainhyperpolymath/universal-chat-extractor:mainfrom

feat/port-tests-to-idris2hyperpolymath/universal-chat-extractor:feat/port-tests-to-idris2Copy head branch name to clipboard