LAM-0.1.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

LC.Base

Description

Basic lambda calculus definitions.

Synopsis

Documentation

type Name = Text #

Variable names.

data Term #

Terms.

Constructors

Var Name 
Lam Name Term 
App Term Term 

Instances

Instances details
Show Term # 
Instance details

Defined in LC.Base

Methods

showsPrec :: Int -> Term -> ShowS #

show :: Term -> String #

showList :: [Term] -> ShowS #

appN :: Term -> [Term] -> Term #

Apply multiple terms to a single term.

mkLet :: Name -> Term -> Term -> Term #

Emulate let-binding