Comment Comment by codebje Isn't that just saying you can do dependent types in TypeScript easily so long as you're willing to give up type checking? parent codebje 11 months ago
