Natural aliasing (#3)

* Natural aliasing motivation and some introduction

* Describe cooler Send

* Make presentable changes

* Elaborate upon borrows and aliasing

* Struggle to write justification

* Fix typos

* Expand justification

* Expand on immutable borrows and sum types

* Expand upon allocations

* Expand allocation section

* Complete several sections

* Change 3-headers to 2-headers

* Finish a draft

* Rename conclusion and add note about the draft

Author: zetanumbers

book.toml

@@ -3,12 +3,13 @@ authors = ["Daria Sukhonina"]
 language = "en"
 multilingual = false
 src = "src"
-title = "zetanumbers book"
+title = "Daria Sukhonina's scribbles"
 
 [output.html]
 site-url = "/book/"
 git-repository-url = "https://github.com/zetanumbers/book/tree/main"
 edit-url-template = "https://github.com/zetanumbers/book/edit/main/{path}"
+mathjax-support = true
 
 [rust]
 edition = "2021"

cspell.config.yaml

@@ -12,4 +12,5 @@ ignorePaths:
   - '/book'
   - '/book.toml'
   - '/project-words.txt'
+  - '/shell.nix'
 

project-words.txt

@@ -1,25 +1,40 @@
+Grothendieck
 Neumann
 Tauno
 Wuyts
 Yoshua
+antisymmetry
 arvensis
 bidi
+bumpalo
 combinators
+compoundness
 deallocated
 deinitializing
 desugared
 doctest
 impls
 jthread
+mathbb
 monomorphization
 noplayground
 petrochenkov
+powerset
+preimages
+reborrow
+reborrowing
+referencial
 repr
 rustc
 rustdoc
+stackful
+stackless
+substracting
 subtyping
 thrd
 tigerbeetle
+unaliased
+uncopyable
 unergonomic
 uninit
 unleak

shell.nix

@@ -3,5 +3,6 @@ pkgs.mkShellNoCC {
   packages = [
     pkgs.mdbook
     pkgs.mdbook-footnote
+    pkgs.nodePackages.cspell
   ];
 }

src/SUMMARY.md

@@ -2,7 +2,8 @@
 
 [Introduction](./README.md)
 
-# Posts
+# Recent posts
 
-- [Unforgettable types](./myosotis.md)
+- [Natural aliasing](./natural-aliasing.md)
 - [Async drop design explainer](./async-drop-design.md)
+- [Unforgettable types](./myosotis.md)