module Main (main) where import Language.CalDims.Program main :: IO() main = defMain