Blog posts

• Reflective journaling prompts - September 15, 2024
• On erasure annotations and agda2hs - July 30, 2024
• Functional Programming in the Netherlands - July 17, 2024
• A love letter to TTRPGs - June 30, 2024
• Agda Core: The Dream and the Reality - May 11, 2024
• Ten Thinkers Who Shaped My Worldview - March 10, 2024
• 6 Reasons in favor of a core language, and 5 against - February 10, 2024
• Ten improvements to Agda's implementation - January 1, 2024
• An Invitation to Mindfulness - September 24, 2023
• Ten common writing issues in student papers - August 1, 2023
• I'm Autistic, and that's okay - April 22, 2023
• Don't worry (about writing Haskell), be happy (writing Agda instead)! - October 4, 2022
• 1001 Representations of Syntax with Binding - November 4, 2021
• WITS '21: First International Workshop on the Implementation of Type Systems - October 15, 2021
• EuroProofNet: the European research network on digital proofs - October 15, 2021
• The Taming of the Rew - January 7, 2021
• Mijn uitdaging voor jou in 2021: Doe zoveel goed als je kan - December 24, 2020
• My challenge for you in 2021: Do the most good you can - December 24, 2020
• An introduction to property-based testing with QuickCheck - December 17, 2020
• NWO Veni Grant on A Trustworthy and Extensible Core Language for Agda - November 11, 2020
• Announcement: I'm moving to Delft! - November 12, 2019
• Rewriting type theory - October 30, 2019
• Hack your type theory with rewrite rules - October 21, 2019
• Formalize all the things (in Agda) - October 4, 2019
• EUTYPES '19 Summer School in Ohrid - September 13, 2019
• Writing Agda blog posts in literate markdown - July 9, 2019
• Elaborating Dependent (Co)pattern Matching - September 22, 2018
• The Agda's New Sorts - May 3, 2018