Update book

doc/book.toml

@@ -3,3 +3,6 @@ title = "HazardFlow HDL"
 language = "en"
 multilingual = false
 src = "docs"
+
+[output.html]
+mathjax-support = true

doc/docs/advanced/dependency.md

@@ -16,7 +16,7 @@ It is defined as variants of an enum `Dep`:
 ```rust,noplayground
 /// Dependency type of a hazard interface.
 #[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, ConstParamTy)]
-pub enum Dep {
+enum Dep {
     /// The payload (`Fwd`) does not depend on the resolver (`Bwd`).
     Helpful = 0,
 
@@ -33,7 +33,7 @@ We annotate the dependency type to the hazard interface.
 ```rust,noplayground
 /// Hazard interface.
 #[derive(Debug)]
-pub struct I<H: Hazard, const D: Dep>;
+struct I<H: Hazard, const D: Dep>;
 ```
 
 The benefit of using dependency type is that it is useful to guarantee the transfer happens or not in the interface.

doc/docs/examples/cpu/implementation.md

@@ -27,65 +27,3 @@ fn core(
 - We chain the 5 sub-modules `fetch`, `decode`, `exe`, `mem`, and `wb` by using the `comb` method.
 
 In the following subsections, we will explain the implementation details for each stage.
-
-<!--
-**Fetch stage:**
-
-TODO(@minseong): Figure
-
-```rust,noplayground
-pub fn fetch<const START_ADDR: u32>(
-    imem: impl FnOnce(Vr<MemReq>) -> Vr<MemRespWithAddr>,
-) -> I<VrH<FetEP, DecR>, { Dep::Demanding }> {
-    ..
-}
-```
-
-**Decode stage:**
-
-TODO(@minseong): Figure
-
-```rust,noplayground
-pub fn decode(
-    i: I<VrH<FetEP, DecR>, { Dep::Demanding }>
-) -> I<VrH<DecEP, (ExeR, MemR, WbR)>, { Dep::Demanding }> {
-    ..
-}
-```
-
-**Execute stage:**
-
-TODO(@minseong): Figure
-
-```rust,noplayground
-pub fn exe(
-    i: I<VrH<DecEP, (ExeR, MemR, WbR)>, { Dep::Demanding }>
-) -> I<VrH<ExeEP, (MemR, WbR)>, { Dep::Demanding }> {
-    ..
-}
-```
-
-**Memory stage:**
-
-TODO(@minseong): Figure
-
-```rust,noplayground
-/// Memory stage.
-pub fn mem(
-    i: I<VrH<ExeEP, (MemR, WbR)>, { Dep::Demanding }>,
-    dmem: impl FnOnce(Vr<MemReq>) -> Vr<MemRespWithAddr>,
-) -> I<VrH<MemEP, WbR>, { Dep::Demanding }> {
-    ..
-}
-```
-
-**Writeback stage:**
-
-TODO(@minseong): Figure
-
-```rust,noplayground
-pub fn wb(i: I<VrH<MemEP, WbR>, { Dep::Demanding }>) {
-    ..
-}
-```
--->