header = do
    putStrLn "MathMagic shell"
    putStrLn "A REPL calculator for non conventional arithmetic (vedic, trachtenberg, ...)"
    putStrLn "GNU 3.0 Licence (TODO)"
    putStrLn ""
header = do
    putStrLn "MathMagic shell"
    putStrLn "A REPL calculator for non conventional arithmetic (vedic, trachtenberg, ...)"
    putStrLn "GNU 3.0 Licence (TODO)"
    putStrLn ""
header = do
    putStrLn "MathMagic shell"
    putStrLn "A REPL calculator for non conventional arithmetic (vedic, trachtenberg, ...)"
    putStrLn "GNU 3.0 Licence (TODO)"
    putStrLn ""