diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/devblog/day_27__locking_fun.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/devblog/day_27__locking_fun.mdwn b/doc/devblog/day_27__locking_fun.mdwn index d018cabac..ef0c4131f 100644 --- a/doc/devblog/day_27__locking_fun.mdwn +++ b/doc/devblog/day_27__locking_fun.mdwn @@ -26,7 +26,7 @@ committing to the git-annex branch, and then the git `index.lock` file is irrelevant, and can just be removed if it exists when a commit is started. -To prove this makes sense, I used the type system to prove that the journal +To ensure this makes sense, I used the type system to prove that the journal locking was in effect everywhere I need it to be. Very happy I was able to do that, although I am very much a novice at using the type system for interesting proofs. But doing so made it very easily to build up to a point |