test: port validate.test.ts → Idris2 using cladistic Test.Spec harness#21

hyperpolymath merged 1 commit into

mainhyperpolymath/a2ml-showcase:mainfrom

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