--
-- This file has been auto-generated by egison-translator.
--

def main $args :=
  do repl primitiveEnv
     ()

def repl $env :=
  do let line := readLine
     let (newEnv, ret) := return (eval env line)
     print ret
     repl newEnv
     ()