Merge pull request #29 from formal-land/guillaume-claret@add-blog-pos…

…t-yul Draft: blog: post on coq-of-yul
formal-land · Jul 3, 2024 · 71e411f · 71e411f
2 parents 568b9ef + 540fd09
commit 71e411f
Show file tree

Hide file tree

Showing 4 changed files with 398 additions and 2 deletions.
diff --git a/blog/2024-04-03-monadic-notation-for-rust-translation.md b/blog/2024-04-03-monadic-notation-for-rust-translation.md
@@ -20,7 +20,6 @@ Contact us at&nbsp;[&#099;&#111;&#110;&#116;&#097;&#099;&#116;&#064;formal&#046;
 
 <figure>
   ![Crab with a pen](2024-04-03/crab-writing.webp)
-  <figcaption>A crab writing</figcaption>
 </figure>
 
 ## Example 🔎