Module

Lambs.Subst

Package
purescript-lambs
Repository
Glorp/purescript-lambs

#Redex Source

data Redex

A reducible expression. With:

  1. a Term that will be substituted for
  2. a (variable) name in
  3. a Term

Constructors

Instances

#redex Source

redex :: Term -> Maybe Redex

Finds a Redex (a function application where the function is a lambda)

#subst Source

subst :: Redex -> Term

Performs a reduction/does the substitution.