module Main (main) where import SemanticDiff (main)