libera/#sicl - IRC Chatlog Search Tuesday, 17th of May 2022, 4:16:04 UTC 4:18:55 Bike implementations are naturally not too motivated to find things that could hypothetically be a problem in some other implementation, so a linter could be good there 4:20:18 beach yeah 4:22:41 Bike i will start writing up things a linter could check tomorrow. for now, good night