-------------------------------------------------------------------------- -- | -- Module : Untyped -- Copyright : (c) Thanos Tsouanas 2010 -- License : BSD -- Maintainer : thanos@sians.org -- Stability : experimental -- -- Exporter module for the untyped system. -- -------------------------------------------------------------------------- module Untyped ( interpret , biginterpret , quietinterpret , compute , safecompute ) where -------------------------------------------------------------------------- import Untyped.Term import Untyped.Calculus import Untyped.Pretty import Untyped.Parser import Untyped.Interpreter --------------------------------------------------------------------------