search

VictorTaelin / abstract-algorithm

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

Fix algorithm #21

Closed NaoEhSavio closed 1 year ago