Contracts Cleanup

.vscode/settings.json

@@ -6,5 +6,11 @@
         }
     ],
     "rewrap.autoWrap.enabled": true,
-    "rewrap.wrappingColumn": 80
+    "rewrap.wrappingColumn": 80,
+    "cSpell.words": [
+        "footgun",
+        "Gitter",
+        "irreflexivity",
+        "preorder"
+    ]
 }

README.md

@@ -24,15 +24,18 @@ On Windows, you can download the installer from
 
 Once you have Rust and Cargo installed, you can install or upgrade mdBook by running:
 
+```bash
+cargo install mdbook@0.4.48
+cargo install mdbook-katex
 ```
-cargo install mdbook
-```
+
+The version is currentlypinned to 0.4.48 because that is the version supported by katex
 
 ## Building the book
 
 To build the book, run:
 
-```
+```bash
 mdbook serve ./better-code
 ```
 

better-code/README.md

@@ -19,7 +19,8 @@ Download the installer from [here](https://win.rustup.rs/).
 ### Install mdBook
 
 ```bash
-cargo install mdbook
+cargo install mdbook@0.4.48
+cargo install mdbook-katex
 ```
 
 ### Building and Serving the Book

better-code/book.toml

@@ -20,3 +20,6 @@ enable = true
 
 [output.html.print]
 enable = true
+
+[preprocessor.katex]
+after = ["links"]