The Author Online Book Forums are Moving

The Author Online Book Forums will soon redirect to Manning's liveBook and liveVideo. All book forum content will migrate to liveBook's discussion forum and all video forum content will migrate to liveVideo. Log in to liveBook or liveVideo with your Manning credentials to join the discussion!

Thank you for your engagement in the AoF over the years! We look forward to offering you a more enhanced forum experience.

(4) [Avatar] Offline
#1
Hi Edwin,

Happy to see another version, I love it so far!

Page numbers below are for the PDF version 7.

page 61:

There is table 3.1 with keyboard shortcuts for the Atom editor. It would be nice to also have an overview of keyboard shortcuts for other editors (for example as an appendix):

| Action                   | Atom       | Emacs      | Vim        |
|--------------------------|------------|------------|------------|
| Add skeleton definitions | Ctrl-Alt-A | C-c C-s    |            |
| Case split variable      | Ctrl-Alt-C | C-c C-c    |            |
| Show documentation       | Ctrl-Alt-D | C-c C-d d  |            |
| Show type of name        | Ctrl-Alt-T | C-c C-t    |            |
| Reload and typecheck     | Ctrl-Alt-R | C-c C-l    |            |
| Lift hole to toplevel    | Ctrl-Alt-L | C-c C-e    |            |
| Replace hole with case   | Ctrl-Alt-M | C-c C-c    |            |
| Solve hole               | Ctrl-Alt-S | C-c C-a    |            |


page 199:
a file eq.ty
should be:
a file eq.idr

page 216:
7.2.4 exercise 1:

Section 7.10.2 should be Listing 7.9.

page 224:
7.3.4 exercise 1:

Section 7.10.2 should be Listing 7.9.

page 234 - 3.:
  Just eq_nat => Just ?exactLength_rhs_2

should be:
  Just eq_nat => ?exactLength_rhs_2

Edwin Brady (66) [Avatar] Offline
#2
Hi, thanks for the comments and pointing out the errors.
Regarding the keyboard shortcuts, I plan an appendix repeating the table for Atom, but including the vim and emacs commands there does seem to be a good idea as well.