| java.lang.Object xtc.util.Tool xtc.lang.TypedLambda
TypedLambda | public class TypedLambda extends Tool (Code) | | An analyzer for the simply typed lambda calculus.
author: Robert Grimm version: $Revision: 1.11 $ |
Constructor Summary | |
public | TypedLambda() Create a new driver for the simply typed lambda calculus. |
TypedLambda | public TypedLambda()(Code) | | Create a new driver for the simply typed lambda calculus.
|
main | public static void main(String[] args)(Code) | | Run the driver with the specified command line arguments.
Parameters: args - The command line arguments. |
|
|