Typed scheme test name conflicts #46

4ever2 wants to merge 1 commit intoagda:masteragda/agda2lambox:masterfrom

4ever2:typed-tests-conflict4ever2/agda2lambox:typed-tests-conflictCopy head branch name to clipboard