# ReasonablyTyped 2

This is an experimental version of ReasonablyTyped with a different core type representation,
and a slightly different compiler flow.