From 5d959f8bacd816ef3c2a5ccb4f04d56179c2d382 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Thu, 3 Oct 2013 17:00:45 -0400 Subject: wording --- doc/devblog/day_27__locking_fun.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- cgit v1.2.3