summaryrefslogtreecommitdiffstats
path: root/2022/captions/emacsconf-2022-haskell--haskell-code-exploration-with-emacs--yuchen-pei--main--chapters.vtt
blob: 7f9272e62cb7ddc38e6c9385cc66765558d12b7c (plain) (blame)
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
WEBVTT

1
00:00:00.000 --> 00:00:30.520
What is Haskell?

12
00:00:30.520 --> 00:01:33.640
Parts of a Haskell program

34
00:01:33.640 --> 00:02:13.400
Example of Haskell source code

44
00:02:13.400 --> 00:02:37.160
Writing Haskell like Lisp

52
00:02:37.160 --> 00:03:53.760
What is a code explorer?

79
00:03:53.760 --> 00:04:56.240
Prior art

97
00:04:56.240 --> 00:05:46.080
Haskell mode

111
00:05:46.080 --> 00:06:43.560
Jumping to declarations

128
00:06:43.560 --> 00:07:24.840
Finding references

135
00:07:24.840 --> 00:08:20.520
The Haskell language server

150
00:08:20.520 --> 00:08:54.960
Hoogle and Hackage

162
00:08:54.960 --> 00:09:34.600
Haskell Code Explorer

176
00:09:34.600 --> 00:10:42.080
Demo of Haskell Code Explorer

189
00:10:42.080 --> 00:12:35.480
Learning about monads

214
00:12:35.480 --> 00:13:39.920
Web client

230
00:13:39.920 --> 00:14:47.800
User freedom

246
00:14:47.800 --> 00:15:38.560
hc.el

259
00:15:38.560 --> 00:16:46.520
Demo

282
00:16:46.520 --> 00:17:38.920
Declarations

293
00:17:38.920 --> 00:18:19.160
Finding definitions and references

302
00:18:19.160 --> 00:19:22.360
Eldoc

317
00:19:22.360 --> 00:20:32.560
Searching for identifiers

330
00:20:32.560 --> 00:22:01.440
Help buffer integration

350
00:22:01.440 --> 00:23:28.840
Haddock

371
00:23:28.840 --> 00:24:30.480
Servant

388
00:24:30.480 --> 00:25:50.320
Org

408
00:25:50.320 --> 00:26:19.280
Links

415
00:26:19.280 --> 00:28:41.160
Navigation

449
00:28:41.160 --> 00:29:39.520
Going the other direction