This repository has been archived by the owner on Apr 28, 2018. It is now read-only.

Rename proxwalk #114

Open

mcomella opened this issue Feb 17, 2017 · 0 comments

Contributor

mcomella commented Feb 17, 2017

Place disambiguation?
Place unifier?

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