module ScriptVerification.Examples where

import ScriptVerification.SucceedIfNumber
import ScriptVerification.HelloWorld