Implementations of various lambda calculus based systems. Source code Contents Index

Typed.TypeSystem Stability experimental Maintainer thanos@sians.org

Description

Type system of the typed system.

Synopsis

typeOf :: Context -> Term -> Type appType :: Type -> Type -> Type ifType :: Type -> Type -> Type -> Type

Documentation

typeOf :: Context -> Term -> Type Source

Tries to type the given Term, w.r.t. the given Context.

appType :: Type -> Type -> Type Source

Try to type two given types as an application.

ifType :: Type -> Type -> Type -> Type Source

Try to type three given types as a branching.

Produced by Haddock version 2.4.2