Language.TEval.TEvalNC

Simply-typed Church-style (nominal) lambda-calculus with integers and zero-comparison Type checking

http://okmij.org/ftp/Computation/Computation.html#teval

Documentation

data Typ

Constructors

TInt

!Typ :> !Typ

Instances

Eq Typ

Show Typ

data Term

Constructors

V VarName

L VarName Typ Term

A Term Term

I Int

Term :+ Term

IFZ Term Term Term

Fix Term

Instances

Eq Term

Show Term

type VarName = String

type TEnv = [(VarName, Typ)]

Type Environment: associating types with free variables

env0 :: TEnv

lkup :: TEnv -> VarName -> Typ

ext :: TEnv -> (VarName, Typ) -> TEnv

teval :: TEnv -> Term -> Typ

Type reconstruction: abstract evaluation