module Main where

import Teleport

main :: IO ()
main = exec