命令

以下命令可用

:h or :help       displays this help information

:q or :quit       quits the repl session

:v or :version    prints out the version of lamcali

:i or :inspected  toggle inspected mode on and off. In inspected mode the
                  result of each step during evaluation or reduction is
                  printed to the terminal.

:e <expr> or :eval <expr>
                  evaluates the lambda expression <expr>. This command is
                  equivalent to just typing a lambda expression and
                  pressing [enter].

:b <expr> or :beta <expr>
                  performs a beta-reduction on the lambda expression <expr>
                  using the current set strategy.

:x <expr> or :expand <expr>
                  replaces free variables in the lambda expression <expr>
                  with the expression bound to the variable's name in the
                  current environment.

:p <expr> or :parse <expr>
                  parses the lambda expression <expr> and prints out the
                  abstract syntax tree (AST) of the lambda expression.

:bs or :beta-strategy
                  prints the current set beta-reduction strategy.

:bs <strategy> or :beta_strategy <strategy>
                  set the beta-reduction strategy to <strategy>.
                  <strategy> can be one of:
                  app : applicative-order reducing to normal form
                  cbn : call-by-name reducing to weak head normal form
                  cbv : call-by-value reducing to weak normal form
                  hap : hybrid-applicative-order reducing to normal form
                  hno : hybrid-normal-order reducing to normal form
                  hsp : head-spine reducing to head normal form
                  nor : normal-order reducing to normal form (the default)

:as or :alpha-strategy
                  prints the current set alpha-conversion strategy.

:as <strategy> or :alpha-strategy <strategy>
                  set the alpha-conversion strategy to <strategy>.
                  <strategy> can be one of:
                  enumerate : appending increasing digits (the default)
                  prime     : appending tick symbols

:let <name> = <expr>
                  defines a new binding of <expr> to <name> and adds it to
                  the environment. If a binding with the same name
                  previously existed in the environment it is replaced by
                  the new binding.

:clr-env          clears the environment, all bindings are removed

:ld-env default   loads the default set of predefined bindings into the
                  environment. Existing bindings with the same name as a
                  binding in the default set will be replaced. Existing
                  bindings with no name clash will not be changed.

:ls-env           lists all bindings defined in the environment

:ls-env <pattern> lists all bindings filtered by <pattern>. It lists all
                  bindings with a name that contains the given pattern as a
                  substring (ignoring case).

许可

根据 Apache 许可证第 2 版许可
有关详细信息，请参阅 LICENSE 或 http://apache.ac.cn/licenses/LICENSE-2.0

贡献

除非您明确声明，否则根据 Apache-2.0 许可证定义的任何有意提交以包含在您的工作中的贡献，应按上述方式许可，不附加任何其他条款或条件。