LSP: The good, the bad, and the ugly

LSP: the good, the bad, and the ugly

A catamorphic lambda-calculus interpreter