Kiran @kirancodes.me · 03/08/2026thoroughly corrupted my intern to both use llms and leave the agda-brained way of thinking muhahahaha 200
