more renames

1 files changed, 133 insertions, 0 deletions

diff --git a/dot_aspell.en.pws b/dot_aspell.en.pws
new file mode 100644
index 0000000..a291c37
--- /dev/null
+++ b/dot_aspell.en.pws
@@ -0,0 +1,133 @@
+personal_ws-1.1 en 138 
+Bohrer
+Bovik
+Bram
+Brookes
+CFP
+CMS
+Compositionally
+Coq
+Dekker
+Dingel
+Drs
+ECT
+FreeBSD
+Frobenius
+GHC
+GPAs
+GPS
+Hassan
+Hirschkoff
+Hyland
+Hyland's
+Kavanagh
+LCF
+Lambek
+Lawvere
+Lightstone
+Madiot
+McGill
+NSERC
+Naama
+PASED
+Panangaden
+Pientka
+Prakash
+Presheafs
+RAK
+Rashid
+Rudie
+SPARC
+Springer
+TSO
+UPMC
+Unital
+Wajc
+Yoneda
+acyclic
+adjoint
+adjunction
+amongst
+applicative
+arXiv
+assignables
+assistantship
+assistantships
+associativity
+atomicity
+balancedness
+bisimulation
+bisimulations
+boolean
+cartesian
+changelogs
+checkpointing
+coinductive
+compositional
+compositionality
+compositionally
+correlatedly
+coöperative
+cryptographic
+decompositions
+denotational
+denotationally
+dequeue
+dequeuing
+endomorphism
+enqueue
+enqueues
+enqueuing
+essentialised
+executional
+existentials
+formalisations
+functor
+incentivisation
+interleavings
+internalisations
+isomorphism
+linearisation
+linearisations
+logics
+metadata
+metatheory
+metavariables
+modularly
+modus
+monoid
+monoids
+monotonicity
+morphism
+morphisms
+multimap
+multimaps
+multiset
+multisets
+naturality
+naïve
+onwards
+operad
+optimisations
+parametricity
+pomset
+pomsets
+ponens
+poset
+presheaf
+presheaves
+reorderings
+sequentialise
+sigbovik
+subphrases
+subsequence
+supérieure
+surjective
+toolchains
+topos
+unintuitive
+unrollings
+unsustainability
+untyped
+weakenings
+École