ellisk42/ec

Question: How does the concept abstraction algorithm work?

slightknack opened this issue · 3 comments

slightknack commented

Hey, I read through the technical paper, but I don't see a whole lot of information as to the refactoring algorithm over lambda terms works. I'm fluent in Rust, and it looks like the rust_compressor crate is a good place to start, but I was wondering if there exists a high-level overview of either the crate specifically or the methodology used in general. Thanks!

Sharad24 commented

The supplementary work has some information, I think.

  • 👍1
slightknack commented

Alright, I'll take a look at it and let y'all know if I have any further questions.