Bidirectional Typechecking That Does Not Stop

1 points by brendan