Bidirectional typechecking that does not stop

(semantic-domain.blogspot.com)

1 points | by fanf2 7 hours ago ago