Fixed README.md

marvin-hansen · marvin-hansen · commit c9a635870ffc · 2025-10-15T15:30:47.000+08:00
Signed-off-by: Marvin Hansen &lt;marvin.hansen@gmail.com&gt;
diff --git a/deep_causality_haft/README.md b/deep_causality_haft/README.md
@@ -79,6 +79,8 @@ fn main() {
     let res_err_mapped = ResultWitness::fmap(res_err, f);
     assert_eq!(res_err_mapped, Err("Error".to_string()));
 }
+```
+
 
 ## Type-Encoded Effect System
 

Original file line number	Diff line number	Diff line change
`@@ -79,6 +79,8 @@ fn main() {`
`79`	`79`	`let res_err_mapped = ResultWitness::fmap(res_err, f);`
`80`	`80`	`assert_eq!(res_err_mapped, Err("Error".to_string()));`
`81`	`81`	`}`
	`82`	+```
	`83`	`+`
`82`	`84`
`83`	`85`	`## Type-Encoded Effect System`
`84`	`86`