1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
|
== snap spc grid=100x41 cursor=7,3
|Newcol Joincol Find Grep Help Changelog Tutor Dump Themes Config Debug Exit
| New Tty Find Grep Joincol Delcol
| /tmp/pardes-snap/leader/cwd/cmds.txt Save Tty Collapse Del
| 1 Help SPC
== snap spc-h grid=100x41 cursor=7,3
|3: 1 Help SPC h
== snap abandoned grid=100x41 cursor=7,3
|3: 1 Help
== snap unmapped grid=100x41 cursor=7,3
== snap help-group grid=100x41 cursor=7,6
|5: /tmp/pardes-snap/leader/cwd/+Help Save Tty Collapse Del
|6: 1 pardes builtins under SPC h
|7: 2
|8: 3 SPC h c Changelog topbar
|9: 4 SPC h m Messages
|10: 5 SPC h t Tutor topbar
|11: 6
== snap tutor grid=100x41 cursor=7,12
|6: 1 pardes builtins under SPC h Tutor
|11: /tmp/pardes-snap/leader/cwd/+Tutor Save Tty Collapse Del
|12: 1
|13: 2 PARDES TUTOR
|14: 3 tmux + vi + acme, from scratch.
|15: 4
|16: 5 The model is acme's: EVERYTHING is text, editable and executable
|17: 6 the same way. Modal editing (helix-style) lives on top of that.
|18: 7 Press j until you reach part 1.
|19: 8
|20: 9 The lessons follow the guide (docs/typ/guide.typ, the "Guide"
|21: 10 chapter of the pardes book), and each ends by naming its section.
|22: 11
|23: 12 Words written in backticks, like `Save`, are builtins: type one in
|24: 13 any tag and middle-click it. Lines starting with "| " are tags as
|25: 14 pardes draws them, words only.
|26: 15
|27: 16 PRACTICE BLOCKS (part 9): the "# keys:" line lists keystrokes
|28: 17 (space-separated; esc/enter/bs are special, the rest type each char).
|29: 18 The lines under "# before" are what you practise on; "# after" is
|30: 19 what you should end up with. Nothing runs them. What pins the real
|31: 20 behaviour is `zig build hxdiff`, which replays test/hxcases against
|32: 21 goldens recorded from a real helix, and `zig build hxparity`, which
|33: 22 runs each case in a file pane and in a shell and demands they agree.
|34: 23
|35: 24
|36: 25 =================================================================
|37: 26 = PART 1 — MODES =
|38: 27 =================================================================
|39: 28
|40: 29 A pane is text on screen, a tag over a body. Some panes are live
== snap deleted grid=100x41 cursor=7,3
|5:
|6:
|7:
|8:
|9:
|10:
|11:
|12:
|13:
|14:
|15:
|16:
|17:
|18:
|19:
|20:
|21:
|22:
|23:
|24:
|25:
|26:
|27:
|28:
|29:
|30:
|31:
|32:
|33:
|34:
|35: /tmp/pardes-snap/leader/cwd/+Help Save Tty Collapse Del
|36: 1 pardes builtins under SPC h
|37: 2
|38: 3 SPC h c Changelog topbar
|39: 4 SPC h m Messages
|40: 5 SPC h t Tutor topbar
== snap help-window grid=100x41 cursor=7,6
|5: /tmp/pardes-snap/leader/cwd/+Help Save Tty Collapse Del
|6: 1 pardes builtins under SPC w
|7: 2
|8: 3 SPC w h Left C-w h, C-w left
|9: 4 SPC w j Down C-w j, C-w down
|10: 5 SPC w k Up C-w k, C-w up
|11: 6 SPC w l Right C-w l, C-w right
|12: 7
|35:
|36:
|37:
|38:
|39:
|40:
== snap help-language grid=100x41 cursor=7,6
|6: 1 pardes builtins under SPC l
|8: 3 SPC l C Callees
|9: 4 SPC l D WsDiagnostics
|10: 5 SPC l S WsSymbols
|11: 6 SPC l T Subtypes
|12: 7 SPC l a CodeAction
|13: 8 SPC l c Callers
|14: 9 SPC l d Diagnostics
|15: 10 SPC l h SelectRefs
|16: 11 SPC l i Lspinfo
|17: 12 SPC l k Hover
|18: 13 SPC l r Rename
|19: 14 SPC l s Symbols
|20: 15 SPC l t Supertypes
|21: 16 SPC l w Lspwhy
|22: 17
== snap del-output grid=100x41 cursor=7,3
|5:
|6:
|7:
|8:
|9:
|10:
|11:
|12:
|13:
|14:
|15:
|16:
|17:
|18:
|19:
|20:
|21:
|22:
|