gorf-core-0.1.1
- gorf-core 0.1.1
- Permalink
- Docs.rs crate page
- CC0-1.0
- Links
- crates.io
- Source
- Owners
- gkgoat1
- Dependencies
- anyhow ^1.0.79 normal
  castaway ^0.2.2 normal
  chumsky ^0.9.3 normal
  either ^1.8.1 normal
  lambda_calculus ^3.3.0 normal
  num-bigint ^0.4.3 normal
  num-traits ^0.2.16 normal
  serde ^1.0 normal
- Versions
- 0% of the crate is documented
Platform
- i686-unknown-linux-gnu
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

brujin

gorf_core0.1.1

Function brujin

pub fn brujin<X: Binder>(t: GTerm<X, Infallible>) -> Termwhere
    <X as Binder>::Var: Eq + Ord + Clone,