Nathan Lilienthal

Make into Generic Library (`lalrpop!` macro)

3

I've actually wanted to build something like this myself! Very cool proof of concept. Here's my main use case. Defining a named grammar, let's say `lambda`, then using that language...

Host on GitHub Pages

1

It might be nice to host directly on GitHub since this is already in Jekyll.

The quotes in the hello world example look weird, and scare me.

https://en.wikipedia.org/w/index.php?title=Lambda_calculus#Standard_terms

Disallowing leading numbers from [terminal identifiers](https://github.com/nixpulvis/lalrpop-lambda/issues/3) and using them instead for parsing [De Bruijn indices](https://en.wikipedia.org/wiki/De_Bruijn_index) directly should be supported. This will allow parsing `λ λ λ 3 1 (2 1)`...

To allow for parsing filename like identifiers, e.g. `\x.x (less foo.rs)` we need to split the definition of the identifier for the argument and the freestanding `Var`, even if under...

The variable type should contain a `usize` instead of a `String` for it's identifier. These are called [De Bruijn indices](https://en.wikipedia.org/wiki/De_Bruijn_index). This technique will return alpha equivalent correct normalization, however it...

Add support for --example

5

I was looking for a solution to running an example from a README when I came across this project. In an ideal world, the README's rust code blocks with `main`...

Failing when switching toolchains

1

Attempting to run `cargo +nightly test` then `cargo +stable test` fails due to the generated `skeptic-tests.rs` file not being properly handled.

There are hosted faker services like http://faker.hook.io/. We could add a cargo feature to use the API, which should presumably be able to serve a much better set of fake...