Closed JelleZijlstra closed 9 months ago
Condense some ideas from https://jellezijlstra.github.io/typing-council, offline discussion, and #2.
Condense some ideas from https://jellezijlstra.github.io/typing-council, offline discussion, and #2.