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
|
== snap spc grid=100x40 cursor=7,2
|New Newcol Joincol Find Grep Help Changelog Tutor Dump NextColor Debug Kill
| /tmp/pardes-snap/leader/cwd/cmds.txt Save New Newtty Del
| 1 Help
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| SPC
== snap spc-h grid=100x40 cursor=7,2
|39: SPC h
== snap abandoned grid=100x40 cursor=7,2
|39:
== snap unmapped grid=100x40 cursor=7,2
== snap help-group grid=100x40 cursor=7,22
|21: /tmp/pardes-snap/leader/cwd/+Help Save New Newtty Del
|22: 1 pardes builtins under SPC h
|23: 2
|24: 3 SPC h c Changelog topbar
|25: 4 SPC h m Messages
|26: 5 SPC h t Tutor topbar
|27: 6
== snap tutor grid=100x40 cursor=7,12
|11: /Tutor Save New Newtty 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 the introduction.
|19: 8
|20: 9
== snap deleted grid=100x40 cursor=7,22
|11:
|12:
|13:
|14:
|15:
|16:
|17:
|18:
|19:
|20:
== snap help-window grid=100x40 cursor=7,22
|22: 1 pardes builtins under SPC w
|24: 3 SPC w h Left C-w h, C-w left
|25: 4 SPC w j Down C-w j, C-w down
|26: 5 SPC w k Up C-w k, C-w up
|27: 6 SPC w l Right C-w l, C-w right
|28: 7
== snap help-language grid=100x40 cursor=7,22
|22: 1 pardes builtins under SPC l
|24: 3 SPC l C Callees
|25: 4 SPC l D WsDiagnostics
|26: 5 SPC l S WsSymbols
|27: 6 SPC l T Subtypes
|28: 7 SPC l a CodeAction
|29: 8 SPC l c Callers
|30: 9 SPC l d Diagnostics
|31: 10 SPC l h SelectRefs
|32: 11 SPC l i Lspinfo
|33: 12 SPC l k Hover
|34: 13 SPC l r Rename
|35: 14 SPC l s Symbols
|36: 15 SPC l t Supertypes
|37: 16 SPC l w Lspwhy
|38: 17
== snap del-output grid=100x40 cursor=7,2
|21:
|22:
|23:
|24:
|25:
|26:
|27:
|28:
|29:
|30:
|31:
|32:
|33:
|34:
|35:
|36:
|37:
|38:
|
