test: port core.test.ts → Idris2 (partial; estate port 6/11, file 1 of 4) - #55

test: port core.test.ts → Idris2 (partial; estate port 6/11, file 1 of 4)#55

hyperpolymath merged 2 commits into

mainhyperpolymath/ubicity:mainfrom

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