2 files changed, 162 insertions, 0 deletions
diff --git a/.aspell.en.prepl b/.aspell.en.prepl
new file mode 100644
index 0000000..56bbf99
--- /dev/null
+++ b/.aspell.en.prepl
@@ -0,0 +1,29 @@
+personal_repl-1.1 en 0 
+advertize advertise
+advize advise
+apprize apprise
+arize arise
+chastize chastise
+circumcize circumcise
+comprize comprise
+compromize compromise
+demize demise
+despize despise
+devize devise
+disguize disguise
+enterprize enterprise
+excize excise
+exercize exercise
+franchize franchise
+guize guise
+improvize improvise
+incize incise
+merchandize merchandise
+mortize mortise
+premize premise
+reprize reprise
+revize revise
+supervize supervise
+surmize surmise
+surprize surprise
+televize televise
diff --git a/.aspell.en.pws b/.aspell.en.pws
new file mode 100644
index 0000000..a291c37
--- /dev/null
+++ b/.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