Blog posts

Technical

• Haskell LSP Laboratory - September 30, 2023
• Goto Assignment: A better local Goto Definition - August 24, 2023
• Typed Programs Don't Leak Data - June 27, 2021
• Verifying the Titular Properties of a Leftist Heap - October 3, 2019
• The Essence of Datalog - December 25, 2018
• Automatic Subgoal Scheduling for Datalog - October 8, 2018
• Cellular Christmas Tree - January 28, 2018

Otherwise

Nothing to see here yet!