triallax changed the topic of #numbat to: The Official Numbat channel https://numbat.dev | This channel is publicly logged at https://libera.irclog.whitequark.org/numbat | Please read https://workaround.org/getting-help-on-irc/ if you're new to IRC!
sharkdp has joined #numbat
sharkdp has quit [Remote host closed the connection]
sharkdp has joined #numbat
potash has quit [Quit: Ping timeout (120 seconds)]
potash has joined #numbat
sharkdp has quit [Remote host closed the connection]
sharkdp has joined #numbat
<achin> it'd be nice to have bitshift operators (<< and >>) in numbat
<sharkdp> Yes. This is mentioned in https://github.com/sharkdp/numbat/issues/144. We should, however, first think about how to implement integer types
benjaminl has quit [Ping timeout: 258 seconds]
benjaminl has joined #numbat
sharkdp has quit [Remote host closed the connection]
potash has quit [Quit: The Lounge - https://thelounge.chat]