Optimal evaluation of some lambda terms
github.com/maiavictor/abstract-algorithm
maiavictor/abstract-algorithm
