Topic: Metaprogramming
- The Interplay Between Metaprogramming and Computation in Lean - June 28, 2025
- 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