Archives

Here you can find all my previous posts:

• Classical Equivalences in Agda August 4, 2025
• Building Arithmetic from Scratch August 4, 2025
• Structural Induction, Formally July 30, 2025
• Folding Left and Right October 25, 2024
• Structural Induction October 23, 2024