Reconstructing a TypeScript bidirectional type checker

1 points | by fanf2 4 hours ago