UNPKG
lean4-code-actions
Version:
latest (1.1.32)
1.1.32
Refactorings and snippets for Lean 4
lean4-code-actions
/
libs
/
utils
/
Character.ts
5 lines
(4 loc)
•
72 B
text/typescript
View Raw
1
2
3
4
5
/** *
TODO:
Use a proper Zod schema */
export
type
Character =
string