Stream: contributing

Topic: Move doc comments from builtins/docs/ to builtins/roc/


view this post on Zulip Nuno Ferreira (May 05 2022 at 20:10):

Hello!
I'm picking up the work for this issue now.

Hopefully I'll have something ready soon!

view this post on Zulip Nuno Ferreira (May 06 2022 at 14:40):

PR ready!

view this post on Zulip Richard Feldman (May 06 2022 at 15:39):

merged, and thank you so much!

Welcome to the contributors list @Nuno Ferreira! :smiley:

view this post on Zulip Nuno Ferreira (May 06 2022 at 16:42):

Thank you! Looking forward to making a few more PRs!


Last updated: Jul 26 2025 at 12:14 UTC