Similar repositories to Ahnfelt/type-inference-by-example: