module Main where import System.Term main :: IO () main = initialize