nixpulvis/lambash
View on GitHub ↗ ★ 12 Rust
A λ-calculus shell (because I love writing shells).
3 mentions on Hacker News by 1 person: 2 stories, 1 comment · first 2019-06-01 · latest 2019-10-11
20082026
-
▲ 7
Show HN: Lambash, a WIP λ-Calculus Unix Shell Written in Ruststory by nixpulvis · 2019-10-11 · 0 comments
-
If you want to play with this, you can run `cargo run` from this: https://github.com/nixpulvis/lambash/ repository. It currently does both with and without η-reduction, and generally should work similarly to…
comment by nixpulvis · 2019-06-08 · in Rust, Macros, λ-calculus/Church numerals, oh my -
▲ 3
Lambda Calculus Macro `λ!` in Ruststory by nixpulvis · 2019-06-01 · 4 comments