S05

Contents

Synopsis

Exercises 2 to 4

See ../solutions/s05.pdf.

data Term Source

Constructors

Var String 
Lab String Term 
App Term Term 

Instances

Eq Term 
Show Term 

Exercise 5

vars :: Term -> [String]Source

freeVars :: Term -> [String]Source

boundVars :: Term -> [String]Source

Exercise 6

applySubst :: String -> Term -> Term -> TermSource