(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 (65) [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.