From b1c5ef5e79d881317b9a159fd4d6a15271fb9237 Mon Sep 17 00:00:00 2001 From: Ryan Kavanagh Date: Thu, 30 Jul 2026 08:27:39 -0400 Subject: locale words --- dot_aspell.en.pws | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) (limited to 'dot_aspell.en.pws') diff --git a/dot_aspell.en.pws b/dot_aspell.en.pws index 4495631..3e66a1a 100644 --- a/dot_aspell.en.pws +++ b/dot_aspell.en.pws @@ -1,21 +1,26 @@ -personal_ws-1.1 en 133 +personal_ws-1.1 en 145 +Bengston Bohrer Bovik Bram Brookes +CERN CFP CMS +Carbone's Compositionally Coq Dekker Dingel Drs +ECOOP ECT FreeBSD Frobenius GHC GPAs GPS +Github Hassan Hirschkoff Hyland @@ -25,6 +30,7 @@ LCF Lambek Lawvere Lightstone +MPST Madiot McGill NSERC @@ -40,10 +46,12 @@ Rudie SPARC Springer TSO +Tirore UPMC Unital Wajc Yoneda +Zenodo acyclic adjoint adjunction @@ -62,6 +70,7 @@ boolean cartesian changelogs checkpointing +coinduction coinductive compositional compositionality @@ -83,6 +92,7 @@ essentialised executional existentials formalisations +formalizations functor incentivisation interleavings @@ -91,6 +101,7 @@ isomorphism linearisation linearisations logics +mechanizations metadata metatheory metavariables @@ -122,6 +133,7 @@ sequentialise sigbovik subphrases subsequence +subtyping supérieure surjective toolchains -- cgit v1.2.3