The singleton-word language is context-free

theorem singletonWordLanguage_is_CF {T : Type} [Fintype T] (w : List T) : is_CF (singletonWordLanguage w)

The singleton-word language {w} is context-free.