Updated typechecking commands to the correct values
Updated typechecking commands to the correct values
tensory/ensime.github.io,tensory/ensime.github.io,tensory/ensime.github.io,tensory/ensime.github.io