diff options
| author | Ryan Kavanagh <rak@rak.ac> | 2026-07-30 08:27:39 -0400 |
|---|---|---|
| committer | Ryan Kavanagh <rak@rak.ac> | 2026-07-30 08:27:39 -0400 |
| commit | b1c5ef5e79d881317b9a159fd4d6a15271fb9237 (patch) | |
| tree | 2a3b853d59d0753c4ce3c93b7c8e4cc67554f953 | |
| parent | two sided printing alias (diff) | |
locale words
Diffstat (limited to '')
| -rw-r--r-- | dot_aspell.en.pws | 14 |
1 files changed, 13 insertions, 1 deletions
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 |