kanren-typecheck.assq.test 5.29 KB