Bidirectional typechecking that does not stop

1 points | by fanf2 8 hours ago