From 54d085ab83d9691d0c8e4ce9351684df4136ac9e Mon Sep 17 00:00:00 2001 From: Aryadev Chavali Date: Sat, 15 Feb 2025 21:20:26 +0000 Subject: Minor updates --- aspell/.aspell.en.pws | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'aspell') diff --git a/aspell/.aspell.en.pws b/aspell/.aspell.en.pws index f46e7ea..df58af6 100644 --- a/aspell/.aspell.en.pws +++ b/aspell/.aspell.en.pws @@ -1,4 +1,4 @@ -personal_ws-1.1 en 163 +personal_ws-1.1 en 168 Architecting Aryadev Automorphism @@ -21,6 +21,9 @@ Maschke's Monoid NFA Noetherian +OCaml +OCaml's +OOTB PDA Schur Schur's @@ -28,6 +31,7 @@ Semisimplicity Submodules TUI Transpiler +URI Uncomputable Undirected Unipotents @@ -128,6 +132,7 @@ parsers performant piecewise prepended +prepending preprocesser programmatically prover -- cgit v1.2.3-13-gbd6f