Mental Symbols to reason about codeplus.google.com3 points·akud··0 commentsOpen articleSaveView on HN