1 files changed, 8 insertions, 3 deletions

diff --git a/docs/posts/SDL2_devlog/index.html b/docs/posts/SDL2_devlog/index.html
index 4b07892..80ca81e 100644
--- a/docs/posts/SDL2_devlog/index.html
+++ b/docs/posts/SDL2_devlog/index.html
@@ -25,15 +25,15 @@
 ">View Raw</a>
           <div class="separator"></div>
           <div class="date">
-            18/03 — 2021
+            23/03 — 2021
             <div class="stats">
               <span class="stats-number">
-                59.53
+                65.93
               </span>
               <span class="stats-unit">cm</span>
               &nbsp
               <span class="stats-number">
-                5.2
+                5.7
               </span>
               <span class="stats-unit">min</span>
             </div>
@@ -43,6 +43,11 @@
           </h1>
           <div class="post-text">
             <p>I have been working on an editor for the <a href="https://git.peppe.rs/graphics/obi/about">One Bit Image</a> file format in Rust and SDL2. This entry in my blog follows my progress on the editor. The days are listed in reverse chronological order, begin from the bottom, if this is your first time on this page.</p>
+<h3 id="day-12">Day 12</h3>
+<p>I lifted most of <a href="https://github.com/murarth/ketos">murarth/ketos</a> into the editor. <code>ketos</code>’s implementation of <code>lisp</code> is too vast for my use case. For example, the editor does not need data types to handle raw strings or byte strings. I have got a basic evaluator running inside the SDL2 context (notice the <code>lisp</code> REPL at the bottom of the window). Over the following days, I intend to create a set of prelude functions to manipulate the pixmap. Users can implement their own brushes, dithering patterns, keybinds and more (hopefully).</p>
+<figure>
+<video src="https://u.peppe.rs/y0.mp4" controls=""><a href="https://u.peppe.rs/y0.mp4">Day 12</a></video><figcaption aria-hidden="true">Day 12</figcaption>
+</figure>
 <h3 id="day-11">Day 11</h3>
 <p>I intend to supplement the editor with scripting language and an inbuilt REPL for the same. I began by implementing a text box widget from scratch, with history and readline like editing:</p>
 <figure>