f723b8b878a3 ^
1 2 3 4 5 6
module Main where import AddOne import Control.Exception (assert) main = assert (addOne 41 == 42) $ return ()