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

hyperpolymath merged 1 commit into

mainhyperpolymath/awesome-nickel:mainfrom

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