PacletInfo.wl

(* ::Package:: *)

PacletObject[
  <|
    "Name" -> "Wolfram/Lambda",
    "Description" -> "Tools for the lambda calculus",
    "Creator" -> "Nik Murzin",
    "License" -> "MIT",
    "PublisherID" -> "Wolfram",
    "Version" -> "1.0.12",
    "WolframVersion" -> "13.1+",
    "PrimaryContext" -> "Wolfram`Lambda`",
    "DocumentationURL" -> "https://resources.wolframcloud.com/PacletRepository/resources",
    "Extensions" -> {
      {
        "Kernel",
        "Root" -> "Kernel",
        "Context" -> {"Wolfram`Lambda`"},
        "Symbols" -> {
          "Wolfram`Lambda`EnumerateLambdas",
          "Wolfram`Lambda`RandomLambda",
          "Wolfram`Lambda`RandomSizeLambda",
          "Wolfram`Lambda`EvalLambda",
          "Wolfram`Lambda`BetaReductions",
          "Wolfram`Lambda`BetaReduce",
          "Wolfram`Lambda`BetaReduceList",
          "Wolfram`Lambda`EtaReduce",
          "Wolfram`Lambda`LambdaFreeVariables",
          "Wolfram`Lambda`FunctionLambda",
          "Wolfram`Lambda`LambdaFunction",
          "Wolfram`Lambda`LambdaCombinator",
          "Wolfram`Lambda`ColorizeLambda",
          "Wolfram`Lambda`LambdaSmiles",
          "Wolfram`Lambda`LambdaDiagram",
          "Wolfram`Lambda`LambdaConvert",
          "Wolfram`Lambda`ParseLambda"
        }
      },
      {
        "Documentation",
        "Root" -> "Documentation",
        "Language" -> "English"
      }
    }
  |>
]