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

gorf_core0.1.1

Function var

pub fn var<V: Binder, M>(a: V::Var) -> GTerm<V, M>