Parsing propositional logic in 33 lines of Racket | Hacker News Reader