closure_calculus-0.1.0
- closure_calculus 0.1.0
- Permalink
- Docs.rs crate page
- Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- bvssvni
- Dependencies
- Versions
- 100% of the crate is documented
Platform
Feature flags

docs.rs

Rust

snd

closure_calculus0.1.0

closure_calculus

Function snd

pub fn snd() -> Expr

Expand description

The second argument function.

\(J) ~ I = \(J) ~ I = J