| @= | | 1 (Function) | Untyped.Term | | 2 (Function) | Typed.Term | | @> | | 1 (Function) | Untyped.Term | | 2 (Function) | Typed.Term | | abstract | | 1 (Function) | Untyped.Term | | 2 (Function) | Typed.Term | | apply | | 1 (Function) | Untyped.Term | | 2 (Function) | Typed.Term | | appType | Typed.TypeSystem | | arrowize | Typed.Type | | baptize | Typed.Type | | biginterpret | | 1 (Function) | Untyped.Interpreter, Untyped | | 2 (Function) | Typed.Interpreter, Typed | | bigstep | | 1 (Function) | Untyped.Calculus | | 2 (Function) | Typed.Calculus | | canStep | | 1 (Function) | Untyped.Calculus | | 2 (Function) | Typed.Calculus | | codom | Typed.Type | | Computation | | 1 (Type/Class) | Untyped.Calculus | | 2 (Type/Class) | Typed.Calculus | | compute | | 1 (Function) | Untyped.Calculus, Untyped | | 2 (Function) | Typed.Calculus, Typed | | Computer | | 1 (Type/Class) | Untyped.Calculus | | 2 (Type/Class) | Typed.Calculus | | Context | Typed.Type | | context | Typed.Type | | ctxfile | Commander | | dom | Typed.Type | | eval1 | | 1 (Function) | Untyped.Calculus | | 2 (Function) | Typed.Calculus | | failAll | Sidekick | | failAny | Sidekick | | freeIn | | 1 (Function) | Untyped.Term | | 2 (Function) | Typed.Term | | freeVariables | | 1 (Function) | Untyped.Term | | 2 (Function) | Typed.Term | | functionize | Sidekick | | headfeet | Sidekick | | ifType | Typed.TypeSystem | | interpret | | 1 (Function) | Untyped.Interpreter, Untyped | | 2 (Function) | Typed.Interpreter, Typed | | isAbsVal | | 1 (Function) | Untyped.Term | | 2 (Function) | Typed.Term | | isBoolVal | | 1 (Function) | Untyped.Term | | 2 (Function) | Typed.Term | | isNatVal | | 1 (Function) | Untyped.Term | | 2 (Function) | Typed.Term | | isStuck | | 1 (Function) | Untyped.Calculus | | 2 (Function) | Typed.Calculus | | isUnitVal | | 1 (Function) | Untyped.Term | | 2 (Function) | Typed.Term | | isVal | | 1 (Function) | Untyped.Term | | 2 (Function) | Typed.Term | | joinWith | Sidekick | | joinWith' | Sidekick | | main | Main | | natFromInt | | 1 (Function) | Untyped.Term | | 2 (Function) | Typed.Term | | notFreeIn | | 1 (Function) | Untyped.Term | | 2 (Function) | Typed.Term | | parseContext | Typed.Parser | | parseProgram | | 1 (Function) | Untyped.Parser | | 2 (Function) | Typed.Parser | | passAll | Sidekick | | passAny | Sidekick | | prettyC | | 1 (Function) | Untyped.Pretty | | 2 (Function) | Typed.Pretty | | prettyTC | Typed.Pretty | | prettyTerm | | 1 (Function) | Untyped.Pretty | | 2 (Function) | Typed.Pretty | | prettyType | Typed.Pretty | | prettyTypedTerm | Typed.Pretty | | prgfile | Commander | | processArgs | Commander | | Program | | 1 (Type/Class) | Untyped.Term | | 2 (Type/Class) | Typed.Term | | protectWith | Sidekick | | quietinterpret | | 1 (Function) | Untyped.Interpreter, Untyped | | 2 (Function) | Typed.Interpreter, Typed | | safecompute | | 1 (Function) | Untyped.Calculus, Untyped | | 2 (Function) | Typed.Calculus, Typed | | showAll | Sidekick | | subterms | | 1 (Function) | Untyped.Term | | 2 (Function) | Typed.Term | | takeWhileUnique | Sidekick | | Term | | 1 (Type/Class) | Untyped.Term | | 2 (Type/Class) | Typed.Term | | TmAbs | | 1 (Data Constructor) | Untyped.Term | | 2 (Data Constructor) | Typed.Term | | TmApp | | 1 (Data Constructor) | Untyped.Term | | 2 (Data Constructor) | Typed.Term | | TmFalse | | 1 (Data Constructor) | Untyped.Term | | 2 (Data Constructor) | Typed.Term | | TmIf | | 1 (Data Constructor) | Untyped.Term | | 2 (Data Constructor) | Typed.Term | | TmIsZero | | 1 (Data Constructor) | Untyped.Term | | 2 (Data Constructor) | Typed.Term | | TmLoop | | 1 (Data Constructor) | Untyped.Term | | 2 (Data Constructor) | Typed.Term | | TmPred | | 1 (Data Constructor) | Untyped.Term | | 2 (Data Constructor) | Typed.Term | | TmStop | | 1 (Data Constructor) | Untyped.Term | | 2 (Data Constructor) | Typed.Term | | TmSucc | | 1 (Data Constructor) | Untyped.Term | | 2 (Data Constructor) | Typed.Term | | TmTrue | | 1 (Data Constructor) | Untyped.Term | | 2 (Data Constructor) | Typed.Term | | TmUnit | | 1 (Data Constructor) | Untyped.Term | | 2 (Data Constructor) | Typed.Term | | TmVar | | 1 (Data Constructor) | Untyped.Term | | 2 (Data Constructor) | Typed.Term | | TmWrong | Typed.Term | | TmZero | | 1 (Data Constructor) | Untyped.Term | | 2 (Data Constructor) | Typed.Term | | TpArrow | Typed.Type | | TpBap | Typed.Type | | TpBool | Typed.Type | | TpCustom | Typed.Type | | TpError | Typed.Type | | TpNat | Typed.Type | | TpUnit | Typed.Type | | TpWrong | Typed.Type | | TsouTAPL | Commander | | Type | Typed.Type | | Typed | Commander | | typeOf | Typed.TypeSystem | | Typing | Typed.Type | | unprotected | Commander | | Untyped | Commander | | variables | | 1 (Function) | Untyped.Term | | 2 (Function) | Typed.Term | | |-> | | 1 (Function) | Untyped.Term | | 2 (Function) | Typed.Term |
|
