search

VictorTaelin / abstract-algorithm

Optimal evaluator of λ-calculus terms.
268 stars 16 forks source link

The image from readme is broken. #1

Closed Heimdell closed 5 years ago

Heimdell commented 7 years ago

it loads only few of rows. I'm interested to see full image.

VictorTaelin commented 6 years ago

How so? I see the full image here. That's the whole thing. Anyway, you can see that image on the original paper introducing interaction combinators (and Mazza's paper introducing symmetric interaction combinators).

lukaszlew commented 6 years ago

I see the image broken as well. https://github.com/MaiaVictor/abstract-algorithm/blob/master/images/combinators_rules.png

lukaszlew commented 6 years ago

It is fixed now, you can close the issue.