Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

Chapter 1 doesn't use \id macro #70

cangiuli opened this Issue Apr 5, 2013 · 2 comments


None yet
2 participants

cangiuli commented Apr 5, 2013

No description provided.


mikeshulman commented Apr 5, 2013

We've said it's fine to use = too, I think.
On Apr 5, 2013 12:41 AM, "Carlo Angiuli" notifications@github.com wrote:

Reply to this email directly or view it on GitHubhttps://github.com/HoTT/book/issues/70


cangiuli commented Apr 5, 2013

Oh, okay.

@cangiuli cangiuli closed this Apr 5, 2013

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