experiment 2

jsiek · Oct 15, 2024 · fe47013 · fe47013
1 parent 4a84053
commit fe47013
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Reference.md b/Reference.md
@@ -27,7 +27,8 @@ function operator +(Nat,Nat) -> Nat {
 
 Example:
 
-```<!--{.deduce #add_example}-->
+```
+<!-- {.deduce #add_example} -->
 assert 2 + 3 = 5
 ```