-
Notifications
You must be signed in to change notification settings - Fork 1
/
hie.yaml
520 lines (510 loc) · 17.9 KB
/
hie.yaml
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
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
cradle:
cabal:
- path: "./common/src"
component: "advent:lib:advent"
- path: "./asmprog/AsmProg.hs"
component: "asmprog"
- path: "./intcode/"
component: "intcode"
- path: "./solutions/src/2015/01.hs"
component: "sln_2015_01"
- path: "./solutions/src/2015/02.hs"
component: "sln_2015_02"
- path: "./solutions/src/2015/03.hs"
component: "sln_2015_03"
- path: "./solutions/src/2015/04.hs"
component: "sln_2015_04"
- path: "./solutions/src/2015/05.hs"
component: "sln_2015_05"
- path: "./solutions/src/2015/06.hs"
component: "sln_2015_06"
- path: "./solutions/src/2015/07.hs"
component: "sln_2015_07"
- path: "./solutions/src/2015/08.hs"
component: "sln_2015_08"
- path: "./solutions/src/2015/09.hs"
component: "sln_2015_09"
- path: "./solutions/src/2015/10.hs"
component: "sln_2015_10"
- path: "./solutions/src/2015/11.hs"
component: "sln_2015_11"
- path: "./solutions/src/2015/12.hs"
component: "sln_2015_12"
- path: "./solutions/src/2015/13.hs"
component: "sln_2015_13"
- path: "./solutions/src/2015/14.hs"
component: "sln_2015_14"
- path: "./solutions/src/2015/15.hs"
component: "sln_2015_15"
- path: "./solutions/src/2015/16.hs"
component: "sln_2015_16"
- path: "./solutions/src/2015/17.hs"
component: "sln_2015_17"
- path: "./solutions/src/2015/18.hs"
component: "sln_2015_18"
- path: "./solutions/src/2015/19.hs"
component: "sln_2015_19"
- path: "./solutions/src/2015/20.hs"
component: "sln_2015_20"
- path: "./solutions/src/2015/21.hs"
component: "sln_2015_21"
- path: "./solutions/src/2015/22.hs"
component: "sln_2015_22"
- path: "./solutions/src/2015/23.hs"
component: "sln_2015_23"
- path: "./solutions/src/2015/24.hs"
component: "sln_2015_24"
- path: "./solutions/src/2015/25.hs"
component: "sln_2015_25"
- path: "./solutions/src/2016/01.hs"
component: "sln_2016_01"
- path: "./solutions/src/2016/02.hs"
component: "sln_2016_02"
- path: "./solutions/src/2016/03.hs"
component: "sln_2016_03"
- path: "./solutions/src/2016/04.hs"
component: "sln_2016_04"
- path: "./solutions/src/2016/05.hs"
component: "sln_2016_05"
- path: "./solutions/src/2016/06.hs"
component: "sln_2016_06"
- path: "./solutions/src/2016/07.hs"
component: "sln_2016_07"
- path: "./solutions/src/2016/08.hs"
component: "sln_2016_08"
- path: "./solutions/src/2016/09.hs"
component: "sln_2016_09"
- path: "./solutions/src/2016/10.hs"
component: "sln_2016_10"
- path: "./solutions/src/2016/11.hs"
component: "sln_2016_11"
- path: "./solutions/src/2016/12.hs"
component: "sln_2016_12"
- path: "./solutions/src/2016/13.hs"
component: "sln_2016_13"
- path: "./solutions/src/2016/14.hs"
component: "sln_2016_14"
- path: "./solutions/src/2016/15.hs"
component: "sln_2016_15"
- path: "./solutions/src/2016/16.hs"
component: "sln_2016_16"
- path: "./solutions/src/2016/17.hs"
component: "sln_2016_17"
- path: "./solutions/src/2016/18.hs"
component: "sln_2016_18"
- path: "./solutions/src/2016/19.hs"
component: "sln_2016_19"
- path: "./solutions/src/2016/20.hs"
component: "sln_2016_20"
- path: "./solutions/src/2016/21.hs"
component: "sln_2016_21"
- path: "./solutions/src/2016/22.hs"
component: "sln_2016_22"
- path: "./solutions/src/2016/23.hs"
component: "sln_2016_23"
- path: "./solutions/src/2016/24.hs"
component: "sln_2016_24"
- path: "./solutions/src/2016/25.hs"
component: "sln_2016_25"
- path: "./solutions/src/2017/01.hs"
component: "sln_2017_01"
- path: "./solutions/src/2017/02.hs"
component: "sln_2017_02"
- path: "./solutions/src/2017/03.hs"
component: "sln_2017_03"
- path: "./solutions/src/2017/04.hs"
component: "sln_2017_04"
- path: "./solutions/src/2017/05.hs"
component: "sln_2017_05"
- path: "./solutions/src/2017/06.hs"
component: "sln_2017_06"
- path: "./solutions/src/2017/07.hs"
component: "sln_2017_07"
- path: "./solutions/src/2017/08.hs"
component: "sln_2017_08"
- path: "./solutions/src/2017/09.hs"
component: "sln_2017_09"
- path: "./solutions/src/2017/10.hs"
component: "sln_2017_10"
- path: "./solutions/src/2017/11.hs"
component: "sln_2017_11"
- path: "./solutions/src/2017/12.hs"
component: "sln_2017_12"
- path: "./solutions/src/2017/13.hs"
component: "sln_2017_13"
- path: "./solutions/src/2017/14.hs"
component: "sln_2017_14"
- path: "./solutions/src/2017/15.hs"
component: "sln_2017_15"
- path: "./solutions/src/2017/16.hs"
component: "sln_2017_16"
- path: "./solutions/src/2017/17.hs"
component: "sln_2017_17"
- path: "./solutions/src/2017/18.hs"
component: "sln_2017_18"
- path: "./solutions/src/2017/19.hs"
component: "sln_2017_19"
- path: "./solutions/src/2017/20.hs"
component: "sln_2017_20"
- path: "./solutions/src/2017/21.hs"
component: "sln_2017_21"
- path: "./solutions/src/2017/22.hs"
component: "sln_2017_22"
- path: "./solutions/src/2017/23.hs"
component: "sln_2017_23"
- path: "./solutions/src/2017/24.hs"
component: "sln_2017_24"
- path: "./solutions/src/2017/25.hs"
component: "sln_2017_25"
- path: "./solutions/src/2018/01.hs"
component: "sln_2018_01"
- path: "./solutions/src/2018/02.hs"
component: "sln_2018_02"
- path: "./solutions/src/2018/03.hs"
component: "sln_2018_03"
- path: "./solutions/src/2018/04.hs"
component: "sln_2018_04"
- path: "./solutions/src/2018/05.hs"
component: "sln_2018_05"
- path: "./solutions/src/2018/06.hs"
component: "sln_2018_06"
- path: "./solutions/src/2018/07.hs"
component: "sln_2018_07"
- path: "./solutions/src/2018/08.hs"
component: "sln_2018_08"
- path: "./solutions/src/2018/09.hs"
component: "sln_2018_09"
- path: "./solutions/src/2018/10.hs"
component: "sln_2018_10"
- path: "./solutions/src/2018/11.hs"
component: "sln_2018_11"
- path: "./solutions/src/2018/12.hs"
component: "sln_2018_12"
- path: "./solutions/src/2018/13.hs"
component: "sln_2018_13"
- path: "./solutions/src/2018/14.hs"
component: "sln_2018_14"
- path: "./solutions/src/2018/15.hs"
component: "sln_2018_15"
- path: "./solutions/src/2018/16.hs"
component: "sln_2018_16"
- path: "./solutions/src/2018/17.hs"
component: "sln_2018_17"
- path: "./solutions/src/2018/18.hs"
component: "sln_2018_18"
- path: "./solutions/src/2018/19.hs"
component: "sln_2018_19"
- path: "./solutions/src/2018/20.hs"
component: "sln_2018_20"
- path: "./solutions/src/2018/21.hs"
component: "sln_2018_21"
- path: "./solutions/src/2018/22.hs"
component: "sln_2018_22"
- path: "./solutions/src/2018/23.hs"
component: "sln_2018_23"
- path: "./solutions/src/2018/24.hs"
component: "sln_2018_24"
- path: "./solutions/src/2018/25.hs"
component: "sln_2018_25"
- path: "./solutions/src/2019/01.hs"
component: "sln_2019_01"
- path: "./solutions/src/2019/02.hs"
component: "sln_2019_02"
- path: "./solutions/src/2019/03.hs"
component: "sln_2019_03"
- path: "./solutions/src/2019/04.hs"
component: "sln_2019_04"
- path: "./solutions/src/2019/05.hs"
component: "sln_2019_05"
- path: "./solutions/src/2019/06.hs"
component: "sln_2019_06"
- path: "./solutions/src/2019/07.hs"
component: "sln_2019_07"
- path: "./solutions/src/2019/08.hs"
component: "sln_2019_08"
- path: "./solutions/src/2019/09.hs"
component: "sln_2019_09"
- path: "./solutions/src/2019/10.hs"
component: "sln_2019_10"
- path: "./solutions/src/2019/11.hs"
component: "sln_2019_11"
- path: "./solutions/src/2019/12.hs"
component: "sln_2019_12"
- path: "./solutions/src/2019/13.hs"
component: "sln_2019_13"
- path: "./solutions/src/2019/14.hs"
component: "sln_2019_14"
- path: "./solutions/src/2019/15.hs"
component: "sln_2019_15"
- path: "./solutions/src/2019/16.hs"
component: "sln_2019_16"
- path: "./solutions/src/2019/17.hs"
component: "sln_2019_17"
- path: "./solutions/src/2019/18.hs"
component: "sln_2019_18"
- path: "./solutions/src/2019/19.hs"
component: "sln_2019_19"
- path: "./solutions/src/2019/20.hs"
component: "sln_2019_20"
- path: "./solutions/src/2019/21.hs"
component: "sln_2019_21"
- path: "./solutions/src/2019/22.hs"
component: "sln_2019_22"
- path: "./solutions/src/2019/23.hs"
component: "sln_2019_23"
- path: "./solutions/src/2019/24.hs"
component: "sln_2019_24"
- path: "./solutions/src/2019/25.hs"
component: "sln_2019_25"
- path: "./solutions/src/2020/01.hs"
component: "sln_2020_01"
- path: "./solutions/src/2020/02.hs"
component: "sln_2020_02"
- path: "./solutions/src/2020/03.hs"
component: "sln_2020_03"
- path: "./solutions/src/2020/04.hs"
component: "sln_2020_04"
- path: "./solutions/src/2020/05.hs"
component: "sln_2020_05"
- path: "./solutions/src/2020/06.hs"
component: "sln_2020_06"
- path: "./solutions/src/2020/07.hs"
component: "sln_2020_07"
- path: "./solutions/src/2020/08.hs"
component: "sln_2020_08"
- path: "./solutions/src/2020/09.hs"
component: "sln_2020_09"
- path: "./solutions/src/2020/10.hs"
component: "sln_2020_10"
- path: "./solutions/src/2020/11.hs"
component: "sln_2020_11"
- path: "./solutions/src/2020/12.hs"
component: "sln_2020_12"
- path: "./solutions/src/2020/13.hs"
component: "sln_2020_13"
- path: "./solutions/src/2020/14.hs"
component: "sln_2020_14"
- path: "./solutions/src/2020/15.hs"
component: "sln_2020_15"
- path: "./solutions/src/2020/16.hs"
component: "sln_2020_16"
- path: "./solutions/src/2020/17.hs"
component: "sln_2020_17"
- path: "./solutions/src/2020/18.hs"
component: "sln_2020_18"
- path: "./solutions/src/2020/19.hs"
component: "sln_2020_19"
- path: "./solutions/src/2020/20.hs"
component: "sln_2020_20"
- path: "./solutions/src/2020/21.hs"
component: "sln_2020_21"
- path: "./solutions/src/2020/22.hs"
component: "sln_2020_22"
- path: "./solutions/src/2020/23.hs"
component: "sln_2020_23"
- path: "./solutions/src/2020/24.hs"
component: "sln_2020_24"
- path: "./solutions/src/2020/25.hs"
component: "sln_2020_25"
- path: "./solutions/src/2021/01.hs"
component: "sln_2021_01"
- path: "./solutions/src/2021/02.hs"
component: "sln_2021_02"
- path: "./solutions/src/2021/03.hs"
component: "sln_2021_03"
- path: "./solutions/src/2021/04.hs"
component: "sln_2021_04"
- path: "./solutions/src/2021/05.hs"
component: "sln_2021_05"
- path: "./solutions/src/2021/06.hs"
component: "sln_2021_06"
- path: "./solutions/src/2021/07.hs"
component: "sln_2021_07"
- path: "./solutions/src/2021/08.hs"
component: "sln_2021_08"
- path: "./solutions/src/2021/09.hs"
component: "sln_2021_09"
- path: "./solutions/src/2021/10.hs"
component: "sln_2021_10"
- path: "./solutions/src/2021/11.hs"
component: "sln_2021_11"
- path: "./solutions/src/2021/12.hs"
component: "sln_2021_12"
- path: "./solutions/src/2021/13.hs"
component: "sln_2021_13"
- path: "./solutions/src/2021/14.hs"
component: "sln_2021_14"
- path: "./solutions/src/2021/15.hs"
component: "sln_2021_15"
- path: "./solutions/src/2021/16.hs"
component: "sln_2021_16"
- path: "./solutions/src/2021/17.hs"
component: "sln_2021_17"
- path: "./solutions/src/2021/18.hs"
component: "sln_2021_18"
- path: "./solutions/src/2021/19.hs"
component: "sln_2021_19"
- path: "./solutions/src/2021/20.hs"
component: "sln_2021_20"
- path: "./solutions/src/2021/21.hs"
component: "sln_2021_21"
- path: "./solutions/src/2021/22.hs"
component: "sln_2021_22"
- path: "./solutions/src/2021/23.hs"
component: "sln_2021_23"
- path: "./solutions/src/2021/24.hs"
component: "sln_2021_24"
- path: "./solutions/src/2021/24_sbv.hs"
component: "sln_2021_24_sbv"
- path: "./solutions/src/2021/25.hs"
component: "sln_2021_25"
- path: "./solutions/src/2022/01.hs"
component: "sln_2022_01"
- path: "./solutions/src/2022/02.hs"
component: "sln_2022_02"
- path: "./solutions/src/2022/03.hs"
component: "sln_2022_03"
- path: "./solutions/src/2022/04.hs"
component: "sln_2022_04"
- path: "./solutions/src/2022/05.hs"
component: "sln_2022_05"
- path: "./solutions/src/2022/06.hs"
component: "sln_2022_06"
- path: "./solutions/src/2022/07.hs"
component: "sln_2022_07"
- path: "./solutions/src/2022/08.hs"
component: "sln_2022_08"
- path: "./solutions/src/2022/09.hs"
component: "sln_2022_09"
- path: "./solutions/src/2022/10.hs"
component: "sln_2022_10"
- path: "./solutions/src/2022/11.hs"
component: "sln_2022_11"
- path: "./solutions/src/2022/12.hs"
component: "sln_2022_12"
- path: "./solutions/src/2022/13.hs"
component: "sln_2022_13"
- path: "./solutions/src/2022/14.hs"
component: "sln_2022_14"
- path: "./solutions/src/2022/15.hs"
component: "sln_2022_15"
- path: "./solutions/src/2022/16.hs"
component: "sln_2022_16"
- path: "./solutions/src/2022/17.hs"
component: "sln_2022_17"
- path: "./solutions/src/2022/18.hs"
component: "sln_2022_18"
- path: "./solutions/src/2022/19.hs"
component: "sln_2022_19"
- path: "./solutions/src/2022/20.hs"
component: "sln_2022_20"
- path: "./solutions/src/2022/21.hs"
component: "sln_2022_21"
- path: "./solutions/src/2022/22.hs"
component: "sln_2022_22"
- path: "./solutions/src/2022/23.hs"
component: "sln_2022_23"
- path: "./solutions/src/2022/24.hs"
component: "sln_2022_24"
- path: "./solutions/src/2022/25.hs"
component: "sln_2022_25"
- path: "./solutions/src/2023/01.hs"
component: "sln_2023_01"
- path: "./solutions/src/2023/02.hs"
component: "sln_2023_02"
- path: "./solutions/src/2023/03.hs"
component: "sln_2023_03"
- path: "./solutions/src/2023/04.hs"
component: "sln_2023_04"
- path: "./solutions/src/2023/05.hs"
component: "sln_2023_05"
- path: "./solutions/src/2023/06.hs"
component: "sln_2023_06"
- path: "./solutions/src/2023/07.hs"
component: "sln_2023_07"
- path: "./solutions/src/2023/08.hs"
component: "sln_2023_08"
- path: "./solutions/src/2023/09.hs"
component: "sln_2023_09"
- path: "./solutions/src/2023/10.hs"
component: "sln_2023_10"
- path: "./solutions/src/2023/11.hs"
component: "sln_2023_11"
- path: "./solutions/src/2023/12.hs"
component: "sln_2023_12"
- path: "./solutions/src/2023/13.hs"
component: "sln_2023_13"
- path: "./solutions/src/2023/14.hs"
component: "sln_2023_14"
- path: "./solutions/src/2023/15.hs"
component: "sln_2023_15"
- path: "./solutions/src/2023/16.hs"
component: "sln_2023_16"
- path: "./solutions/src/2023/17.hs"
component: "sln_2023_17"
- path: "./solutions/src/2023/18.hs"
component: "sln_2023_18"
- path: "./solutions/src/2023/19.hs"
component: "sln_2023_19"
- path: "./solutions/src/2023/20.hs"
component: "sln_2023_20"
- path: "./solutions/src/2023/21.hs"
component: "sln_2023_21"
- path: "./solutions/src/2023/22.hs"
component: "sln_2023_22"
- path: "./solutions/src/2023/23.hs"
component: "sln_2023_23"
- path: "./solutions/src/2023/24.hs"
component: "sln_2023_24"
- path: "./solutions/src/2023/25.hs"
component: "sln_2023_25"
- path: "./solutions/src/2024/01.hs"
component: "sln_2024_01"
- path: "./solutions/src/2024/02.hs"
component: "sln_2024_02"
- path: "./solutions/src/2024/03.hs"
component: "sln_2024_03"
- path: "./solutions/src/2024/04.hs"
component: "sln_2024_04"
- path: "./solutions/src/2024/05.hs"
component: "sln_2024_05"
- path: "./solutions/src/2024/06.hs"
component: "sln_2024_06"
- path: "./solutions/src/2024/07.hs"
component: "sln_2024_07"
- path: "./solutions/src/2024/08.hs"
component: "sln_2024_08"
- path: "./solutions/src/2024/09.hs"
component: "sln_2024_09"
- path: "./solutions/src/2024/10.hs"
component: "sln_2024_10"
- path: "./solutions/src/2024/11.hs"
component: "sln_2024_11"
- path: "./solutions/src/2024/12.hs"
component: "sln_2024_12"
- path: "./solutions/src/2024/13.hs"
component: "sln_2024_13"
- path: "./solutions/src/2024/14.hs"
component: "sln_2024_14"
- path: "./solutions/src/2024/15.hs"
component: "sln_2024_15"
- path: "./solutions/src/2024/16.hs"
component: "sln_2024_16"
- path: "./solutions/src/2024/17.hs"
component: "sln_2024_17"
- path: "./solutions/src/2024/18.hs"
component: "sln_2024_18"
- path: "./solutions/src/2024/19.hs"
component: "sln_2024_19"
- path: "./solutions/src/2024/20.hs"
component: "sln_2024_20"
- path: "./solutions/src/2024/21.hs"
component: "sln_2024_21"
- path: "./solutions/src/2024/22.hs"
component: "sln_2024_22"
- path: "./solutions/src/2024/23.hs"
component: "sln_2024_23"
- path: "./solutions/src/2024/24.hs"
component: "sln_2024_24"
- path: "./solutions/src/2024/25.hs"
component: "sln_2024_25"