File tree Expand file tree Collapse file tree 4 files changed +12
-28
lines changed Expand file tree Collapse file tree 4 files changed +12
-28
lines changed Original file line number Diff line number Diff line change 139
139
" Grattage" ,
140
140
" Gushu" ,
141
141
" HQCC" ,
142
+ " HTMLHINT" ,
142
143
" Haghverdi" ,
143
144
" Hasuo" ,
144
145
" Heckey" ,
162
163
" Informatik" ,
163
164
" Isil" ,
164
165
" Ittah" ,
166
+ " JSONLINT" ,
165
167
" Jaap" ,
166
168
" Javad" ,
167
169
" Javadi" ,
329
331
" SNAPL" ,
330
332
" SQIR" ,
331
333
" SQIR's" ,
334
+ " STYLELINT" ,
332
335
" Sabry" ,
333
336
" Sadegh" ,
334
337
" Sanan" ,
431
434
" algorithmics" ,
432
435
" ancillae" ,
433
436
" ancillas" ,
437
+ " apal" ,
434
438
" archiveprefix" ,
435
439
" axiomatize" ,
436
440
" behaviour" ,
444
448
" booktitle" ,
445
449
" callout" ,
446
450
" cobordism" ,
451
+ " comjnl" ,
447
452
" commentable" ,
448
453
" commento" ,
449
454
" compositionality" ,
461
466
" disqus" ,
462
467
" effectful" ,
463
468
" entcs" ,
469
+ " epjd" ,
464
470
" eprint" ,
465
471
" ethz" ,
466
472
" expirydate" ,
474
480
" formalising" ,
475
481
" frobenius" ,
476
482
" fullscreen" ,
483
+ " funcs" ,
477
484
" generalisation" ,
478
485
" generalised" ,
479
486
" genericity" ,
505
512
" morphisms" ,
506
513
" nanoscale" ,
507
514
" nisq" ,
515
+ " nphys" ,
508
516
" numpages" ,
509
517
" openqasm" ,
510
518
" optimisation" ,
534
542
" retargetable" ,
535
543
" runtimes" ,
536
544
" satisfiability" ,
545
+ " scico" ,
537
546
" shortcode" ,
538
547
" shorttitle" ,
539
548
" slicestr" ,
554
563
" uncompute" ,
555
564
" uncomputed" ,
556
565
" unitaries" ,
566
+ " urlize" ,
557
567
" venv" ,
558
568
" weakenings" ,
559
569
" webnote" ,
Original file line number Diff line number Diff line change 9
9
# - SPELL # Uncomment to disable checks of spelling mistakes
10
10
DISABLE_LINTERS :
11
11
- CSS_STYLELINT
12
+ - CSS_SCSS_LINT
12
13
- EDITORCONFIG_EDITORCONFIG_CHECKER
13
14
- HTML_HTMLHINT
14
15
- JSON_ESLINT_PLUGIN_JSONC
Original file line number Diff line number Diff line change @@ -18,31 +18,6 @@ org_name: "Quantum PL & Verification Bibliography"
18
18
description : Quantum Programming Languages & Verification Bibliography
19
19
twitter : " Quantum Programming Languages & Verification Bibliography"
20
20
21
- # Contact (edit or remove options as required)
22
-
23
-
24
- # phone: 888 888 88 88
25
- # address:
26
- # street: 450 Serra Mall
27
- # city: Stanford
28
- # region: CA
29
- # postcode: '94305'
30
- # country: United States
31
- # country_code: US
32
- # coordinates:
33
- # latitude: '37.4275'
34
- # longitude: '-122.1697'
35
- # directions: Enter Building 1 and take the stairs to Office 200 on Floor 2
36
- # office_hours:
37
- # - 'Monday 10:00 to 13:00'
38
- # - 'Wednesday 09:00 to 10:00'
39
- # appointment_url: 'https://calendly.com'
40
- # contact_links:
41
- # - icon: comments
42
- # icon_pack: fas
43
- # name: Discuss on Forum
44
- # link: 'https://discourse.gohugo.io'
45
-
46
21
# Site header
47
22
48
23
main_menu :
@@ -123,8 +98,6 @@ marketing:
123
98
google_analytics : " "
124
99
google_tag_manager : " "
125
100
google_site_verification : " "
126
- baidu_site_verification : " "
127
- baidu_tongji : " "
128
101
cms :
129
102
branch : main
130
103
local_backend : false
Original file line number Diff line number Diff line change 1
1
---
2
2
title : Quantum at POPL 2022
3
3
aliases :
4
- - /bib/event/ pop22/
4
+ - pop22
5
5
6
6
event : 49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2022).
7
7
event_url : https://popl22.sigplan.org/
You can’t perform that action at this time.
0 commit comments