3 ms·In sufficiently strict languages you can only write garbage specifications.by adrianN 5y agoIn sufficiently strict languages you can only write garbage specifications.