I want to write a program that composes a text file, using input from other files within a certain file path. Would it be possible use the type checker to make sure that the contents of the the output text file is influenced only by files on the mentioned file path, not by any other files, channels, GUI's.
_______________________________________________ clean-list mailing list [email protected] http://mailman.science.ru.nl/mailman/listinfo/clean-list
