test(idris2): port DSL + playground test suites from Racket/TS#22

hyperpolymath merged 1 commit into

mainhyperpolymath/betlang:mainfrom

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