.aspell.en.pws

personal_ws-1.1 en 378 
ACSII
AST
ASTs
Administrivia
Agda's
Akram
Anaphoric
Andi
Antitonicity
Booleans
Bruijn
CHECKBOXES
Carette
Classpath
Componentwise
Contrapositive
Coq
DeBrujin
DeMorgan's
Declaratively
Denotational
Dereference
Destructuring
Discovarability
Distributivity
Dualise
Dually
Eglot
Eid
Equipollence
Excerption
Executables
GDoc
Genericity
Goju
Hamid
Hemi
Hoare
IPv
Invariance
JShell
Kahl
Karbala
Karim
Knowns
LaTeX
Lekhani
Liam
Lvalues
Löf's
Malak
Malak's
Mariam
Marwan
McMaster
Meijing
Metaprograms
Metatheorem
Metavariable
Microkernel
Mixins
Modularity
Monoid
Monoids
Monotonicity
Montather
Muawiyah
Multimethod
Multimethods
Musa
Musa's
Nasriyah
Neato
Netmask
Nqe
Occultation
Orchestrator
PARAMETERIZE
PackageFormer
PackageFormer's
Parametricity
Prepend
Procedurally
Prolog
Protobuf
Protobufs
Pseudocode
Pushout
Quran
Ramda
Readably
Reducts
Refactorings
Runnable
SRC
STMP
Sessional
Shyam
StackExchange
Submittable
Subsegment
Summarisation
Surjection
TODO
Tcl
TypeScript
Typecheck
Unbundling
Uncomment
Yay
Yoneda
Yoneda's
Yusuf
Zaynab
absoprtion
accessor
actionables
adaptively
additively
adjoint
adjoints
adjunction
adjunctions
administrivia
agda
algorithmically
anaphoric
antisymmetry
applicative
architecturing
associator
asymptotics
automata
axiomatised
backend
backends
backticks
bifunctor
bijective
boolean
busybodied
calculational
catenated
catenating
catenation
center
centric
classpath
cli
coalgebra
coercions
colimit
colimits
combinator
combinatorics
combinators
compositional
computability
computable
concat
connectedness
continous
contrapositive
datatypes
deallocate
deallocated
deallocates
deallocation
declaratively
deconstructor
decrementing
decrypting
definitional
definitionaly
deliverables
dereference
dereferencing
destructor
destructure
destructuring
desugars
deterministicly
dicitionary
dinatural
discovarability
disjunction
disjunctions
distributivity
dualised
emacs
embeddable
endofunctors
equalities
equational
equivales
esotericity
existentials
expressivity
extensibility
extensionality
extensionally
falsy
fixpoint
formalisations
formedness
functor's
functorial
functors
hamid
haskell
hassy
homoiconic
homomorphic
homomorphism
homomorphisms
homomrphism
iRule
iRules
imamah
implementers
incentivize
incentivizes
incrementing
indiscernibles
indistinguishability
infallibles
infimum
init
initializers
injective
inlined
inlining
instantiation
instantiations
internets
intuitionistic
invariants
invertible
irreflexive
isomorphisms
iterable
iterables
journaling
jshell
kubernetes
lexemes
lexicographically
logics
macOS
magit
mariam
matcher
matchers
matchings
meaningfuls
memorables
mentorship
metaprogramming
metasymbol
metasymbols
metatheorem
metatheorems
metavariables
microservices
mixfix
modularisation
modus
monads
monoid
monoidal
monomorphic
morphism
morphisms
mouldable
multiplicatively
musa
namespace
namespaces
namespacing
naturality
nullary
nunation
observationally
oolean
orchestrator
overhwheliming
parallelize
parameterisation
parenthesisation
pointfree
pointwise
polymorphism
ponens
poset
positivity
postcondition
precedences
prepending
preprocessor
programmability
prophethood
propositionally
pseudocode
pseudocomplement
pushout
pushouts
quantifications
reachability
readably
rebased
redistributable
reduct
referentially
repl
representable
requireds
reusability
runtime
satisfiable
satisfication
scalability
scalable
schemas
semantical
semilattice
serialize
sessional
siloed
stepwise
stringify
subalgebras
subclasses
subexpression
subexpressions
subsequence
substitutivity
subtype
subtyped
subtyping
subword
surjective
surjectivity
termtype
termtypes
tldr
tooltip
tooltips
traveling
truthified
truthifies
truthify
truthy
typechecked
typechecking
unary
unbundle
unbundled
unbundling
uncurrying
unhighlight
uninsightful
uninstantiated
unital
unitors
unmarking
unowned
unparenthesised
unquotation
unrollings
unsymmetric
unvisited
upcasing
upcast
usepackage
variational
variationals
webscraping
whitespace