Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Links to other resources #353

Closed
mgeisler opened this issue May 8, 2023 · 2 comments · Fixed by #354
Closed

Links to other resources #353

mgeisler opened this issue May 8, 2023 · 2 comments · Fixed by #354

Comments

@mgeisler
Copy link
Contributor

mgeisler commented May 8, 2023

Hi there,

I maintain Comprehensive Rust 🦀 and we've recently added a full day about Bare-metal Rust.

Would there be interest in having a section in your book with links to other resources, such as this course?

I created such a page for my course and I've found it very helpful since it gives me something to point students to when they want to learn more.

@eldruin
Copy link
Member

eldruin commented May 10, 2023

Hi, that would definitely be welcome here.
Would you mind opening a PR?

@mgeisler
Copy link
Contributor Author

Thanks @eldruin, I created #354 to add a link!

bors bot added a commit that referenced this issue May 12, 2023
354: Add link to Comprehensive Rust 🦀 r=eldruin a=mgeisler

Fixes #353.

Co-authored-by: Martin Geisler <[email protected]>
@bors bors bot closed this as completed in dc85da5 May 12, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants