Function test_lambda_expr

tests/elaboration/test_simple.rs:42–45

()

    #[test]
    fn test_lambda_expr() {
        let source = "def double := fun (n : Nat) => n";
        parse_and_elaborate(source).unwrap();
    }

    #[test]
    fn test_let_binding() {