From ec82d22c014b47fb414b0092d8f2b1b8a1409df1 Mon Sep 17 00:00:00 2001 From: Youwen Wu Date: Sat, 8 Mar 2025 20:23:06 -0800 Subject: [PATCH] chore: update harper dictionary --- reference/users/youwen/config/harper-ls/dictionary.txt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/reference/users/youwen/config/harper-ls/dictionary.txt b/reference/users/youwen/config/harper-ls/dictionary.txt index 940fe14..1066aef 100644 --- a/reference/users/youwen/config/harper-ls/dictionary.txt +++ b/reference/users/youwen/config/harper-ls/dictionary.txt @@ -18,5 +18,7 @@ transpiles Gradescope bijections disjunction +denumerable biconditional hyperextensible +diagonalization