add link to hosted version

ammkrn · Mar 14, 2024 · fb99301 · fb99301
1 parent 139a1c4
commit fb99301
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -3,6 +3,8 @@ Type Checking in Lean 4
 
 This is a book about Lean 4's kernel and implementing external type checkers; it's built with mdBook.
 
+A hosted copy can be found at https://ammkrn.github.io/type_checking_in_lean4/
+
 Users can build and view the book locally in their browser by [installing mdbook](https://rust-lang.github.io/mdBook/guide/installation.html) and running:
 ```bash
 mdbook watch --open  # opens the output in `out/` in your default browser