Sam Mohr (Jun 26 2024 at 05:21): 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?
Brendan Hansknecht (Jun 26 2024 at 05:48):They are all from @Ayaz Hafiz. So hopefully he still has them.
Ayaz Hafiz (Jun 26 2024 at 06:07):Sorry, i deleted those. ill update their links
Ayaz Hafiz (Jun 26 2024 at 06:16):https://github.com/roc-lang/roc/pull/6841
Notification Bot (Jun 27 2024 at 19:19):Sam Mohr has marked this topic as resolved.
Last updated: Jul 26 2025 at 12:14 UTC