dotfiles

commit 4d7ac6b0bfa40ff980ebc53de698e1f9c1e4d5ec
parent 98c02acd0f692e557e5f7494f11a48c8b972ab58
Author: Alex Balgavy <alex@balgavy.eu>
Date:   Tue,  1 Dec 2020 13:24:40 +0100

vim: spellfile

Former-commit-id: a043ac7354823f0330f99ee8a0dfaed7c9b6f2e8
Diffstat:
M
vim/spell/en.utf-8.add
 | 
5
+++++
M
vim/spell/en.utf-8.add.spl
 | 
0

2 files changed, 5 insertions(+), 0 deletions(-)
diff --git a/vim/spell/en.utf-8.add b/vim/spell/en.utf-8.add
@@ -310,3 +310,8 @@ Jordaan
 wrt
 nontermination
 Tradeoff
+Compositionality
+fixpoints
+fixpoint
+Kleene's
+infimum
diff --git a/vim/spell/en.utf-8.add.spl b/vim/spell/en.utf-8.add.spl
Binary files differ.