Promptigo

Tag

#typescript

1 prompt
Coding
Add Types Incrementally

Type one file with runtime behavior frozen, and make the type-checker output the proof.

#typescript#refactoring#types