Topic: Metaprogramming

• Category Theory and Mechanized Proof - March 11, 2025
• Quasiquotation of the Untyped Lambda Calculus - May 9, 2024
• A Haskell Solution to the Synacor Challenge - April 28, 2024