fungi-lang-0.1.63
- fungi-lang 0.1.63
- Permalink
- Docs.rs crate page
- MPL-2.0
- Links
- Homepage
- Documentation
- Repository
- crates.io
- Source
- Owners
- matthewhammer
- Dependencies
- adapton ^0.3 normal
  nom ^4.0 normal
  proc-macro2 ^0.3 normal
  regex ^0.2 normal
  serde ^1.0 normal
  serde_derive ^1.0 normal
  serde_json ^1.0 normal
- Versions
- 38.76% of the crate is documented
Platform
Feature flags

Rust

In fungi_lang::normal

Function fungi_lang::normal::normal_nmtm

pub fn normal_nmtm(ctx: &Ctx, n: NameTm) -> NameTm

Expand description

Compute normal form for name term (expand definitions and reduce applications).