.cspell.json

{
  "ignorePaths": [
    "**/node_modules/**",
    "**/vscode-extension/**",
    "**/.git/**",
    ".vscode",
    "megalinter",
    "package-lock.json",
    "report"
  ],
  "language": "en",
  "noConfigSearch": true,
  "words": [
    "Aarthi",
    "Aarti",
    "Abelian",
    "Abhari",
    "Abramsky",
    "Adve",
    "Agda",
    "Akira",
    "Alamitos",
    "Aleks",
    "Alexey",
    "Altenkirch",
    "Amlan",
    "Andr",
    "Andr\u00e9",
    "Anouk",
    "Ardeshir",
    "Arrighi",
    "Arvin",
    "Azariah",
    "Baader",
    "Backens",
    "Badescu",
    "Baier",
    "Bansal",
    "Bardin",
    "Barik",
    "Barthe",
    "Beaudrap",
    "Beno",
    "Beno\u00eet",
    "Bettelli",
    "Bettina",
    "Bichsel",
    "Biproducts",
    "Birkhoff",
    "Bobot",
    "Boender",
    "Bohua",
    "Bois",
    "Boja",
    "Bonchi",
    "Bordg",
    "Bravyi",
    "Briegel",
    "Brun",
    "B\u0103descu",
    "CNOT",
    "CPTP",
    "Calarco",
    "Carbin",
    "Caskey",
    "Catu",
    "Cezary",
    "Chadha",
    "Chakrabarti",
    "Characterisations",
    "Chardonnet",
    "Chareton",
    "Chasins",
    "Chekuri",
    "Chiang",
    "Chiribella",
    "Chong",
    "Christel",
    "Chuang",
    "Chuang's",
    "Cirq",
    "Cirq's",
    "Claudino",
    "Coecke",
    "Colledan",
    "Colm",
    "Costin",
    "Cowtan",
    "Cushen",
    "D'Hondt",
    "DCPO",
    "Dagstuhl",
    "Danos",
    "Datatypes",
    "Deutsch",
    "Deutsch's",
    "Diagrammatics",
    "Dilkes",
    "Dillig",
    "Dongho",
    "Dousti",
    "Duan",
    "Dueck",
    "EPTCS",
    "ESOP",
    "Ebrahim",
    "Edgington",
    "Ehrhard",
    "Elham",
    "Elsevier",
    "Emanuela",
    "Engesser",
    "FSTTCS",
    "Faggian",
    "Falco",
    "Fanu",
    "Farkas",
    "Faruque",
    "Feautrier's",
    "Felty",
    "Feng",
    "Filippo",
    "Finkel",
    "Fixpoint",
    "Florian",
    "Frobenius",
    "Gabbay",
    "Gehr",
    "Gilles",
    "Giovani",
    "Girard's",
    "Giulio",
    "Gosset",
    "Gottesman",
    "Gottesman's",
    "Goubault",
    "Gramado",
    "Granade",
    "Grattage",
    "Gushu",
    "HQCC",
    "HTMLHINT",
    "Haghverdi",
    "Hasuo",
    "Heckey",
    "Heidel",
    "Heim",
    "Heunen",
    "Hietala",
    "Hiroakira",
    "Hoare",
    "Hoare's",
    "Hoefler",
    "Hondt",
    "Hopf",
    "Hoshino",
    "Huot",
    "H\u00e4ner",
    "IARCS",
    "ICALP",
    "Ichiro",
    "Idris",
    "Informatik",
    "Isil",
    "Ittah",
    "JSONLINT",
    "Jaap",
    "Javad",
    "Javadi",
    "Jeandel",
    "Jens",
    "Jianjun",
    "Jorrand",
    "Jozsa",
    "Jozsa's",
    "Junyi",
    "Kaarsgaard",
    "Kaizer",
    "Kakutani",
    "Kaliszyk",
    "Kameyama",
    "Kamm",
    "Kamm\u00fcller",
    "Kartik",
    "Kashefi",
    "Kaufmann",
    "Kentaro",
    "Kesha",
    "Kharazi",
    "Kirkedal",
    "Kishida",
    "Kleisli",
    "Kliuchnikov",
    "Knill",
    "Kohei",
    "Kornell",
    "Kostia",
    "Kraus",
    "Krishnamurthi",
    "Krysta",
    "Kudrow",
    "K\u00f6nig's",
    "LICS",
    "LLIC",
    "LMCS",
    "LRSM",
    "LRSMs",
    "Lachnitt",
    "Lago",
    "Lanese",
    "Larijani",
    "Larrecq",
    "Lastmod",
    "Lattner",
    "Librelotto",
    "Liliane",
    "Lindenhovius",
    "Liron",
    "Liyi",
    "Luca",
    "Lukas",
    "Lukasiewicz",
    "Lumsdaine",
    "MBQC",
    "MFCS",
    "MFPS",
    "MLIR",
    "Maarten",
    "Mackie",
    "Mahmoud",
    "Makoto",
    "Malik",
    "Mariia",
    "Mariusz",
    "Martonosi",
    "Massoud",
    "Mateus",
    "Mathieu",
    "Mathys",
    "Medeiros",
    "Merelli",
    "Metaprogramming",
    "Metatheory",
    "Miko\u0142aj",
    "Mingsheng",
    "Mislove",
    "Monoidal",
    "Monoids",
    "Mosca",
    "Mykhailova",
    "NISQ",
    "Nagarajan",
    "Naijun",
    "Nally",
    "Naohiko",
    "Nengkun",
    "Neumann",
    "Niel",
    "Nijmegen",
    "Nikhil",
    "Nikolaos",
    "Nobuko",
    "OOPSLA",
    "Oana",
    "Oemer",
    "Oliveira",
    "PFPC",
    "PLDI",
    "POPL",
    "Pagani",
    "Paiva",
    "Palsberg",
    "Panangaden",
    "Panangaden's",
    "Paolini",
    "Paolo",
    "Papanikolaou",
    "Paradis",
    "Patil",
    "Paykin",
    "Pechoux",
    "Pedram",
    "Perdrix",
    "Perrelle",
    "Pnueli",
    "Prakash",
    "Proq",
    "Proto",
    "Pseudocode",
    "Puglisi",
    "P\u00e9choux",
    "QAOA",
    "QASM",
    "QGCL",
    "QHTT",
    "QIRO",
    "QPCF",
    "QRAM",
    "QUEKO",
    "QWIRE",
    "Qbricks",
    "Qimaera",
    "Qiskit",
    "Quantique",
    "Quantisation",
    "Qubit",
    "Queiroz",
    "Quil",
    "Quingo",
    "RWDSL",
    "Rajagopal",
    "Rastislav",
    "Rauber",
    "Raussendorf",
    "Rau\u00dfendorf",
    "Rawski",
    "Renaud",
    "Rennela",
    "Reppy",
    "Rmarkdown",
    "Roetteler",
    "Romain",
    "Roversi",
    "Rubert",
    "Ruediger",
    "Runyao",
    "R\u00fcdiger",
    "SBMF",
    "SIGACT",
    "SIGPLAN",
    "SNAPL",
    "SQIR",
    "SQIR's",
    "STYLELINT",
    "Sabry",
    "Sadegh",
    "Sanan",
    "Scaff",
    "Selinger",
    "Selinger's",
    "Semidefinite",
    "Serafini",
    "Serdar",
    "Sernadas",
    "Seyon",
    "Sharad",
    "Sharir",
    "Shenggang",
    "Shih",
    "Shor",
    "Shor's",
    "Shriram",
    "Shruti",
    "Shuling",
    "Silq",
    "Silq's",
    "Singhal",
    "Sivarajah",
    "Smolin",
    "Soeken",
    "Soudjani",
    "Staton",
    "Stefano",
    "Steffen",
    "Steiger",
    "Stinespring",
    "Stuckey",
    "Subdir",
    "Suchara",
    "Sundaram",
    "Svec",
    "Svore",
    "Szegedy",
    "S\u00e9bastien",
    "TAMC",
    "TLLA",
    "TMPDIR",
    "TOPLAS",
    "Tasiran",
    "Thien",
    "Thomsen",
    "Thorsten",
    "Toffoli",
    "Tommaso",
    "Torsten",
    "Tortora",
    "Troyer",
    "Tsinghua",
    "Uncategorized",
    "Uncomputation",
    "Unqomp",
    "Unruh",
    "VOQC",
    "Vadym",
    "Valiron",
    "Valiron's",
    "Vanderwilt",
    "Vandewetering",
    "Vazirani",
    "Vechev",
    "Vicary",
    "Vilmart",
    "Vizzotto",
    "Wadler's",
    "Wecker",
    "Wetering",
    "Worrell",
    "XACC",
    "Xiaodi",
    "Xiaodong",
    "Xuan",
    "Yangjia",
    "Yijun",
    "Ying",
    "Yipeng",
    "Yoshida",
    "Yoshihiko",
    "Yoshimizu",
    "Yousri",
    "Yufei",
    "Yukiyoshi",
    "Zamdzhiev",
    "Zdancewic",
    "Zeng",
    "Zentrum",
    "Zhan",
    "Zhao",
    "Zhaowei",
    "Zhengfeng",
    "Zhou",
    "Zorzi",
    "Zuliani",
    "algorithmicists",
    "algorithmics",
    "ancillae",
    "ancillas",
    "apal",
    "archiveprefix",
    "axiomatize",
    "behaviour",
    "bialgebra",
    "bibentries",
    "bibentry",
    "bibsource",
    "bibtex",
    "bijections",
    "biproducts",
    "booktitle",
    "callout",
    "cobordism",
    "comjnl",
    "commentable",
    "commento",
    "compositionality",
    "compositionally",
    "concretization",
    "conjunctivity",
    "coproducts",
    "cpos",
    "crossref",
    "datatypes",
    "dcpo",
    "demosite",
    "deutsch",
    "deutsch's",
    "disqus",
    "effectful",
    "entcs",
    "epjd",
    "eprint",
    "ethz",
    "expirydate",
    "factorisation",
    "fibration",
    "fibrations",
    "finitary",
    "footnotereturnlinkcontents",
    "formalisation",
    "formalise",
    "formalising",
    "frobenius",
    "fullscreen",
    "funcs",
    "generalisation",
    "generalised",
    "genericity",
    "getenv",
    "goldmark",
    "gottesman",
    "groupoid",
    "hoare",
    "homotopy",
    "hopf",
    "incollection",
    "inproceedings",
    "interleavings",
    "intuitionistic",
    "ipynb",
    "jozsa",
    "jsonify",
    "judgements",
    "lanczos",
    "lastmod",
    "lastspark",
    "licenselink",
    "mapnik",
    "mastersthesis",
    "metaprogramming",
    "minimise",
    "mlir",
    "monoidal",
    "morphisms",
    "nanoscale",
    "nisq",
    "nphys",
    "numpages",
    "openqasm",
    "optimisation",
    "optimising",
    "parco",
    "peaceiris",
    "phdthesis",
    "pizzix",
    "plainify",
    "popl",
    "postconditions",
    "proto",
    "pseudocode",
    "publishdate",
    "qasm",
    "qcor",
    "qiskit",
    "quantisation",
    "qubit",
    "qubits",
    "qudits",
    "realisability",
    "realisable",
    "realised",
    "reimplementation",
    "relpermalink",
    "retargetable",
    "runtimes",
    "satisfiability",
    "scico",
    "shortcode",
    "shorttitle",
    "slicestr",
    "sqir",
    "sqire",
    "stabilisers",
    "stefanzweifel",
    "substructural",
    "subtyping",
    "superoperator",
    "superoperators",
    "techreport",
    "toolflow",
    "toolflows",
    "ulet",
    "uncat",
    "uncomputation",
    "uncompute",
    "uncomputed",
    "unitaries",
    "urlize",
    "venv",
    "weakenings",
    "webnote",
    "wowchemy",
    "zenodo",
    "\u00d6mer"
],
  "version": "0.2"
}