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
|
== snap spc grid=100x41 cursor=7,3
|Newcol Joincol Find Grep Help Changelog Tutor Dump NextColor Debug Kill
|New Tty Find Grep Joincol
| /tmp/pardes-snap/leader/cwd/cmds.txt Save Tty Del Collapse
| 1 Help
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| SPC
== snap spc-h grid=100x41 cursor=7,3
|40: SPC h
== snap abandoned grid=100x41 cursor=7,3
|40:
== snap unmapped grid=100x41 cursor=7,3
== snap help-group grid=100x41 cursor=7,23
|22: /tmp/pardes-snap/leader/cwd/+Help Save Tty Del Collapse
|23: 1 pardes builtins under SPC h
|24: 2
|25: 3 SPC h c Changelog topbar
|26: 4 SPC h m Messages
|27: 5 SPC h t Tutor topbar
|28: 6
== snap tutor grid=100x41 cursor=7,13
|12: /Tutor Save Tty Del Collapse
|13: 1
|14: 2 PARDES TUTOR
|15: 3 tmux + vi + acme, from scratch.
|16: 4
|17: 5 The model is acme's: EVERYTHING is text, editable and executable
|18: 6 the same way. Modal editing (helix-style) lives on top of that.
|19: 7 Press j until you reach the introduction.
|20: 8
|21: 9
== snap deleted grid=100x41 cursor=7,23
|12:
|13:
|14:
|15:
|16:
|17:
|18:
|19:
|20:
|21:
== snap help-window grid=100x41 cursor=7,23
|23: 1 pardes builtins under SPC w
|25: 3 SPC w h Left C-w h, C-w left
|26: 4 SPC w j Down C-w j, C-w down
|27: 5 SPC w k Up C-w k, C-w up
|28: 6 SPC w l Right C-w l, C-w right
|29: 7
== snap help-language grid=100x41 cursor=7,23
|23: 1 pardes builtins under SPC l
|25: 3 SPC l C Callees
|26: 4 SPC l D WsDiagnostics
|27: 5 SPC l S WsSymbols
|28: 6 SPC l T Subtypes
|29: 7 SPC l a CodeAction
|30: 8 SPC l c Callers
|31: 9 SPC l d Diagnostics
|32: 10 SPC l h SelectRefs
|33: 11 SPC l i Lspinfo
|34: 12 SPC l k Hover
|35: 13 SPC l r Rename
|36: 14 SPC l s Symbols
|37: 15 SPC l t Supertypes
|38: 16 SPC l w Lspwhy
|39: 17
== snap del-output grid=100x41 cursor=7,3
|22:
|23:
|24:
|25:
|26:
|27:
|28:
|29:
|30:
|31:
|32:
|33:
|34:
|35:
|36:
|37:
|38:
|39:
|
