freenode/#clim - IRC Chatlog Search Saturday, 24th of March 2018, 15:50:57 UTC 21:49:08 oleo seems '(3+2) always gets simplified 21:49:24 oleo unless i put simp:false$ before it 21:49:28 oleo and that's it 21:50:00 oleo however (3+2), nosimp; or (3+2), simp:false; have no effect ofc 21:50:10 oleo meh