UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

4 lines (3 loc) • 89 B
1
2
3
4
export function listMD(items: string[]) { return items.map(i => `* ${i}`).join('\n') }