Zulip Chat Archive

Stream: new members

Topic: Parsing integers

Jason Orendorff (Jun 24 2020 at 08:24):

Is there a handy function for converting a string like "123" to an integer?

Jason Orendorff (Jun 24 2020 at 08:28):

ah, i see parser.nat in data.buffer.parser, close

Last updated: May 02 2025 at 03:31 UTC