This repository has been archived by the owner on Mar 27, 2021. It is now read-only.

(for me) Test unify #9

Open

khoek opened this issue Sep 7, 2018 · 0 comments

Contributor

khoek commented Sep 7, 2018

We need a test which needs unify, so I don't need to compile lean-category-theory to find out I've blown it up.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.