{-# LANGUAGE OverloadedStrings #-}
{- Untyped lambda calculus, from chapter 7 -}
module Untyped (
      module Untyped.Parse2
    , module Untyped.Interpret
    ) where

import Untyped.Parse2
import Untyped.Interpret
