Translate Static Type Checking#124

Merged

GasimGasimzada merged 4 commits intomasterfrom

translate-static-type-checking

Oct 16, 2019

Commits on Oct 13, 2019

Partially translate Static Type Checking
Gasim Gasimzada
committed
Translate Typescript part of Static Typechecking
Gasim Gasimzada
committed
Translate other parts of Static Type Checking
Gasim Gasimzada
committed

Commits on Oct 16, 2019

Fix static type checking after self-review
Gasim Gasimzada
committed