Global Script compiler that solely typechecks the input


Global Script client that only does type-checking.

Basically, you run


And you get any error messages from type-checking your program,
then the rest of the program gets thrown away.

This is *alpha quality* software.
It works for me on my machine; it hasn't been tested on anything else.
Use at your own risk.