Comment by josh11b
3 days ago
That is correct. Strings and I/O both have a bunch of work to be done. Printing currently requires workarounds like https://godbolt.org/z/MP4164f7s
3 days ago
That is correct. Strings and I/O both have a bunch of work to be done. Printing currently requires workarounds like https://godbolt.org/z/MP4164f7s
Array iteration got checked into the prelude so this is now shorter: https://godbolt.org/z/YYheo19ea