Edit this page on GitHub

Changes in Type Inference

For more information, see the two presentations