TensorSafe.Commands.Check

This module provides checking and interpretation functions using the "hint" library.

Documentation

check :: String -> IO ()

Checks if the file at the specified path compiles successfully.