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

Repository name #10

Open

jamievicary opened this issue Aug 5, 2020 · 0 comments

Collaborator

jamievicary commented Aug 5, 2020

Since we no longer have separate core and client repositories, the repository should just be called 'homotopy' or 'homotopy-io' or something.

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