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: Dec 20 2023 at 11:08 UTC