tautologyChecker

a tautology checker as seen in ML for the working programmer by L.C. Paulson

Compile

compile the tautologyChecker.fs file as a dll as following:

fsharpc --nologo -a tautologyChecker.fs

Then, reference the previous file using -r and include the script tautologyCheking.fs to generate a tautologyCheking.exe executable.

fsharpc -r tautologyChecker.dll tautologyChecking.fsx

Run

mono tautologyCheking.exe