Posts

• “Better maths input in Emacs” ‒ July 2, 2025
  In which we write a minor mode for better maths input in LaTeX and Agda2.

• “Personal Website Inspiration and Ideas” ‒ June 30, 2025
  My notes on various peoples personal websites that I like

• “Test Post” ‒ June 25, 2025
  Aidan was here