Lambda Calculus AST

true        := λx.λy.x;
false       := λx.λy.y;

not         := λx.x false true;

----------------------------------------------------------------------

{
	"name-bindings" (
		{
			"type" "AST-NAME-BINDING"
			"name" "true"
			"value" {
				"type" "AST-ABSTRACTION"
				"param" "x"
				"body" {
					"type" "AST-ABSTRACTION"
					"param" "y"
					"body" {
						"type" "AST-IDENT"
						"text" "x"
					}
				}
			}
		}
		{
			"type" "AST-NAME-BINDING"
			"name" "false"
			"value" {
				"type" "AST-ABSTRACTION"
				"param" "x"
				"body" {
					"type" "AST-ABSTRACTION"
					"param" "y"
					"body" {
						"type" "AST-IDENT"
						"text" "y"
					}
				}
			}
		}
		{
			"type" "AST-NAME-BINDING"
			"name" "not"
			"value" {
				"type" "AST-ABSTRACTION"
				"param" "x"
				"body" {
					"type" "AST-APPLICATION"
					"lhs" {
						"type" "AST-APPLICATION"
						"lhs" {
							"text" "x"
							"type" "AST-IDENT"
						}
						"rhs" {
							"text" "false"
							"type" "AST-IDENT"
						}
					}
					"rhs" {
						"text" "true"
						"type" "AST-IDENT"
					}
				}
			}
		}
	)
}