Parse Ternary Lambda Calculus for Correctness | Dark Hacker News