Hacker GitHub

← All repos

nixpulvis/lalrpop-lambda

View on GitHub ↗ ★ 85 Rust

A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.

4 mentions on Hacker News by 3 people: 1 story, 3 comments · first 2019-06-06 · latest 2019-06-08

Mentions per year 4 mentions · busiest year 2019 (4)
20082026
AllStoriesComments NewestTopOldest
  1. …an unstable feature of Rust, only available with nightly compiler builds. See the feature flag: https://github.com/nixpulvis/lalrpop-lambda/blob/master/src/... Specifying ASCII for the source code, as your post suggests is better, would…
    comment by tomjakubowski · 2019-06-08 · in Rust, Macros, λ-calculus/Church numerals, oh my
  2. Sure but this is a macro that’s user defined and not in the rust source code. Here’s the macro def: https://github.com/nixpulvis/lalrpop-lambda/blob/master/src/... I think it’s important to allow Unicode for developers to be more inclusive…
    comment by chewbacha · 2019-06-08 · in Rust, Macros, λ-calculus/Church numerals, oh my
  3. FWIW, I've moved this macro into https://github.com/nixpulvis/lalrpop-lambda , and it's got the start of a normalize function.
    comment by nixpulvis · 2019-06-06 · in Lambda Calculus Macro `λ!` in Rust