Georges Boris (Nov 15 2022 at 19:26): Georges Boris (Nov 15 2022 at 19:26):hey folks! while taking a look at #4521 I've found this tool that would generate all the fonts we want in whatever format. however, since we don't want to bloat our main repo with all these things I thought the best solution would be to host them in a secondary repo under the roc team.
thinking more about it, what if we had roc/design-assets (or other name) repo dedicated to any branding assets we want to make easily available? fonts we use, but also logos, etc, etc.
if people agree with it it would be awesome if someone could give me access to push to it so I could close the issue above and update our www build script.
Anton (Nov 15 2022 at 19:30):Yes, excellent idea :)
I'll wait for the approval of others before I make the repo.
btw this would be roc-lang/design-assets not roc/design-assets
Anton (Nov 16 2022 at 11:11):Because there was no opposition I have created roc-lang/design-assets.
I'm not sure what license we should choose for this repo...
Richard Feldman (Nov 16 2022 at 14:04):I've been defaulting to UPL for everything, seems fine for this too :big_smile:
Anton (Nov 16 2022 at 14:59):I was thinking it might be strange to have the logo licensed under UPL?
Richard Feldman (Nov 16 2022 at 16:00):oh fair :thinking:
Richard Feldman (Nov 16 2022 at 16:00):what would be better?
Georges Boris (Nov 16 2022 at 16:05):https://choosealicense.com/licenses/cc-by-4.0/ seems appropriate?
Georges Boris (Nov 18 2022 at 13:29):folks – I created this PR using the new roc-lang/design-assets #4539
I've also created a release on our design-assets repo so we can download the tar of the directory directly and skip .git files.
Luke Boswell (Dec 14 2022 at 09:08):How have we been generating the code snippets html for the tutorial? I assume these are being hand rolled?
<samp>stoplightStr <span class="op">=</span>
<span class="kw">when</span> stoplightColor <span class="kw">is</span>
Red <span class="op">-></span> <span class="str">"red"</span>
Green <span class="op">|</span> Yellow <span class="kw">if</span> contrast <span class="op">></span> 75 <span class="op">-></span> <span class="str">"not red, but very high contrast"</span>
Green <span class="op">|</span> Yellow <span class="kw">if</span> contrast <span class="op">></span> 50 <span class="op">-></span> <span class="str">"not red, but high contrast"</span>
Green <span class="op">|</span> Yellow <span class="op">-></span> <span class="str">"not red"</span>
</samp>
"I assume these are being hand rolled?"
yes, I believe so
Luke Boswell (Dec 14 2022 at 10:33):Just an update on my progress so far converting the tutorial to markdown, and to use the static-site Roc platform. I am tracking progress in this git WIP folder. Note the git preview doesn't do the .md file justice, it gets rendered using pulldown-cmark with the site.css file and looks almost identical to the current tutorial. Styling code blocks is a bit mandraulic but works well enough. I had to wrap all the html in <pre> tags to make it cmark compliant which has minor implications for some of the styles.
For now I'm using a forked copy of the repository as I needed to add options to pulldown-cmark to use #ids and get the css to play nice. I have focussed on getting the basic content in and it is almost at parity with styling. Next step I think will be to polish a bit further, before I think it would be ready for consideration or review.
So far it already resolves #4673, and I would like to have a go at #4634 and #4609 to make a start on adding content for optional record fields and opaque types.
Luke Boswell (Dec 15 2022 at 07:59):Draft PR added #4771, looking for feedback please.
Last updated: Jul 05 2025 at 12:14 UTC