e0

Naturals

e1

Naturals

e2

Naturals

eitherTBifunctor

UnapplyInference

eitherTBitraverse

UnapplyInference

els

If

emptyTree

FingerTreeUsage

EnumUsage

example

eq1

Classes

eq2

Classes

evaluate

LaunchburyInterpreter

example

scalaz

example1

LaunchburyInterpreter

example2

LaunchburyInterpreter

Exp

TypeCheckerWithExplicitTypesAST

Expr

LaunchburyInterpreter