Parse Ternary Lambda Calculus for Correctness | Hacker News Reader