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