phino-0.0.0: Command-Line Manipulator of 𝜑-Calculus Expressions

phino-0.0.0

•  AST
•  Abridge
•  Builder
•  Bytes
•  CLI
  Submodules

  •  CLI.Helpers
  •  CLI.Parsers
  •  CLI.Runners
  •  CLI.Types
  •  CLI.Validators
•  CST
•  Canonizer
•  Compiled
•  Condition
•  Contextualize
•  Dataize
•  Deps
•  Emit
•  Encoding
•  Engine
•  Evaluate
•  Files
•  Filter
•  Forks
•  Functions
•  Inference
•  LaTeX
•  Lambdas
•  Language
•  Lining
•  Locator
•  Logger
•  Margin
•  Matcher
•  Merge
•  Metas
•  Misc
•  Morph
•  Must
•  Parser
•  Printer
•  Random
•  Regexp
•  Render
•  Replacer
•  Rewriter
•  Rule
•  Slots
•  Sugar
•  Tau
•  XMIR
•  Yaml