clarification: this is just about the typechecker, not code gen (there are already alternative fast code generators)

Posters: xsphi. xsphi

2 likes recorded by the source corpus.