const links = [ { path: '/learn', label: 'Learn' }, { path: '/playground', label: 'Playground' }, ]; export function header(path: string): string { const nav = links .map( (l) => `${l.label}`, ) .join('\n '); return ` Stint. ${nav} `; }