Stream: contributing

Topic: ✔ Leftover rwx.notion.site links


view this post on Zulip Sam Mohr (Jun 26 2024 at 05:21):

I was trying to read up on what the checkmate crate is, but the README references an old design doc that I don't have the permissions to read. There seem to be 3 such documents left in the roc repo:

❯ rg "notion.site"
crates/compiler/test_mono/src/tests.rs
2449:    // https://rwx.notion.site/Let-generalization-Let-s-not-742a3ab23ff742619129dcc848a271cf#6b08b0a203fb443db2d7238a0eb154eb
2468:    // https://rwx.notion.site/Let-generalization-Let-s-not-742a3ab23ff742619129dcc848a271cf#6b08b0a203fb443db2d7238a0eb154eb

crates/compiler/solve/docs/ambient_lambda_set_specialization.md
8:in the compiler's type solver. It's derived from the original document at <https://rwx.notion.site/Ambient-Lambda-Set-Specialization-50e0208a39844ad096626f4143a6394e>.

crates/compiler/checkmate/README.md
5:See [the document](https://rwx.notion.site/Type-debugging-tools-de42260060784cacbaf08ea4d61e0eb9?pvs=4).

Does anyone have permission to access these that could either give me access so I can move them into the repo, or would be able to convert them to Google docs or something?

view this post on Zulip Brendan Hansknecht (Jun 26 2024 at 05:48):

They are all from @Ayaz Hafiz. So hopefully he still has them.

view this post on Zulip Ayaz Hafiz (Jun 26 2024 at 06:07):

Sorry, i deleted those. ill update their links

view this post on Zulip Ayaz Hafiz (Jun 26 2024 at 06:16):

https://github.com/roc-lang/roc/pull/6841

view this post on Zulip Notification Bot (Jun 27 2024 at 19:19):

Sam Mohr has marked this topic as resolved.


Last updated: Jul 06 2025 at 12:14 UTC