Closed clayrat closed 7 years ago
I'd say it's probably not a huge priority, but some semblance of parity would be nice. There's been talk of doing some more elaborate, Idris-specific rewriting at some point, since Idris differs from Coq quite a bit. In that case, maintaining minor wording tweaks would become less important (or irrelevant).
Closing in favor of #37
Should the text be kept in perfect sync with the original? The book keeps getting minor updates to phrasing, e.g.:
"offshoot" chapters
instead of"appendices"
the idea of
partetc..