Here is everything I have written on this blog!

• Using ChatGPT to prove math in Agda - December 16, 2022
• Make a python function definition stick! - November 27, 2022
• Dependently typed folds - December 19, 2020