typo
authorRalf Jung <post@ralfj.de>
Wed, 8 Aug 2018 10:23:39 +0000 (12:23 +0200)
committerRalf Jung <post@ralfj.de>
Wed, 8 Aug 2018 10:23:39 +0000 (12:23 +0200)
personal/_posts/2018-08-07-stacked-borrows.md

index 10b2e44e5402126f90aaaf33893bfeb484f01744..0314fbb7e969a378ed731d36e383c92bf38cdabb 100644 (file)
@@ -13,7 +13,7 @@ The model I am proposing here is by far not the first attempt at giving a defini
 <!-- MORE -->
 
 But before I delve into my latest proposal, I want to briefly discuss a key difference between my previous model and this one:
 <!-- MORE -->
 
 But before I delve into my latest proposal, I want to briefly discuss a key difference between my previous model and this one:
-"Types as Contracts" was a fully "validity"-based model, while "Stacked Borrows" is (to some extend) "access"-based.
+"Types as Contracts" was a fully "validity"-based model, while "Stacked Borrows" is (to some extent) "access"-based.
 
 ## 1 Validity-based vs. Access-based
 
 
 ## 1 Validity-based vs. Access-based