Understanding the generator

[Hirrolot]

I'm having a hard time understanding the generator code (src/Generator.hs). The code has a lot of manipulation with variables but only two small comments. In the paper I've found no explanation of it either. What is the operation of the generator, conceptually? How do we get an expression out of a graph?

[ilya-klyuchnikov]

In the paper I've found no explanation of it either

The main idea is explained in the paper in the section 6 "Folding".

You may want to take a look at

• https://github.com/sergei-romanenko/spsc/blob/master/docs/README.md

[Hirrolot]

The main idea is explained in the paper in the section 6 "Folding".

But the folding algorithm must be located in src/Folding.hs, not src/Generator.hs, right?

Thanks for the link, will look into it.