Push a release of the first ten chapters

Question

Push a release of the first ten chapters

yurrriq opened this issue 7 years ago · 2 comments

Ideally we can resolve or remove all the \todos, edit the text, format the code (see #39, #24 [\subsection hack works], #22, #35 [adopt Iosevka] and maybe #25/#30, et al.)

Answer 1 · 2017-08-03T10:00:35.000Z

I went a little overboard with labeling and such, but now we can track progress with the milestone: https://github.com/idris-hackers/software-foundations/milestone/1

Answer 2 · 2017-08-07T14:15:14.000Z

To be honest, I probably won't do most of these issues you've linked. Regarding todos, I think that the text editing should ideally be done by someone more knowing, to avoid misleading people. If you show me how to insert hyperlinks, I could fix those, though.

So I'm not sure when this release will happen :) In the meantime I'll probably try to finish IndPrinciples, make an attempt at splitting Tactics and then move on with the new chapters.