raek

module AST where

import Data.Map(Map)

type Id = String

data Abs = Abs { formals :: [Id],
                 defs    :: Map Id Abs,
                 app     :: [Term] }