diff options
| author |  Joey Hess <joey@kitenet.net> | 2013-10-03 17:00:45 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2013-10-03 17:00:45 -0400 |
| commit | 5d959f8bacd816ef3c2a5ccb4f04d56179c2d382 (patch) | |
| tree | f7fb5d5b1d0116e0dab222ed50b2c68adf3036d1 /doc/devblog | |
| parent | bf45ba1f694aea2abbb9e945d0969608a0be3c47 (diff) | |
wording
Diffstat (limited to 'doc/devblog')
| -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 |