Gwaith-i-Mírdain Development Blog

Posts

Jul 19, 2026
Modal type theory + AI redux
Jun 17, 2026
Self variables
Jun 14, 2026
Opening up some issues
Jun 12, 2026
Adventures with Agentic Coding
Jun 2, 2026
Modal datatypes and codatatypes
May 30, 2026
Well-scoped syntax and type-level categories
May 22, 2026
Syntax for modal type theory
May 21, 2026
Welcome