Gwaith-i-Mírdain Development Blog

Posts

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