Minor updates

This commit is contained in:
2025-02-15 21:20:26 +00:00
parent 7f7e050471
commit 54d085ab83
4 changed files with 11 additions and 7 deletions

View File

@@ -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