-
Rust Crates) Lambda_calculus코딩Coding/★Rust★Crates.io★ 2022. 6. 26. 00:51728x90
https://docs.rs/lambda_calculus/latest/lambda_calculus/
lambda_calculus - Rust
A macro for obtaining a projection function (π) providing the i-th (one-indexed) element of a lambda-encoded n-tuple.
docs.rs
반응형'코딩Coding > ★Rust★Crates.io★' 카테고리의 다른 글
Rust ❤️based port of Microsoft Train Simulator 2001 (MSTS) (0) 2022.08.14 Rust❤️use std::ascii::AsciiExt; (0) 2022.08.14 Rust Web CSS❤️Programming 할때 CSS하는거 찾으니깐 다 있네 ㅎㅎ (0) 2022.06.27 Rust]*.jxr❤️tool for converting HDR screenshots to SDR with suitable tone-mapping (0) 2022.06.26 Rust Crates ) AquaVM interprets AIR – a π-calculus-derived (0) 2022.06.26 Rust❤️CreuSAT - A formally verified SAT solver written in Rust and verified (0) 2022.06.22 Rust❤️ Javascript Crates (0) 2022.06.21 Rust crates) tui-rs ❤️Build terminal user interfaces and dashboards using Rust (0) 2022.06.02