When Are Lexer Modes Useful? (2017) #1 Post by rmasters » Mon, Feb 19, 2024, 7:19 PM UTC When Are Lexer Modes Useful? (2017)oilshell.org