SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025

We present a type system for a subset of blazon, the language historically used to describe coats of arms. The type system prevents several forms of invalid blazons as well as violations of stylistic conventions. We implement the system as a command-line application and use it to analyze a corpus of historical blazons, identifying several as convention-breaking.