1. 9
  1.  

  2. 2

    Very well-done video, with unique musical stylings! Wish we had something like this for the TLA+ conference. I am always grateful for the one college class I took where half was spent on Haskell and half on Prolog. I recently did a project that involved a lot of rewriting and shifting text while preserving alignment of constructs across multiple lines, and am now mulling whether it could have been a fun exercise to write the core logical component in prolog.