ruski
| Crates.io | ruski |
| lib.rs | ruski |
| version | 0.0.2 |
| created_at | 2022-09-21 10:50:00.67041+00 |
| updated_at | 2024-08-29 07:27:23.867705+00 |
| description | RuSKI is a simple implementation of combinator calculus. |
| homepage | |
| repository | https://github.com/johker/ruski/ |
| max_upload_size | |
| id | 670879 |
| size | 57,230 |
Johannes Kern (johker)
documentation
README
RuSKI
Ruski is a simple, zero-dependency implementation of combinator calculus in Rust. It is based on the crate lambda_calculus and adds elements from Wolfram
Features
- Parser for SKI expressions
- β reduction of SKI expressions (currently: leftmost outermost, leftmost innermost)
- Tree representation of expressions with shared subexpressions.
- Graph representation of reductions with shard reductions paths (draft)