News for hackers. Stuff that matters.
Re:Ada's Dependent Types, and Its Types as a Whole by pjmlp on Monday December 30, 2024 @06:24AM (#42548373)
Here are the Rust installation instructions, that apparently is sooo much better,

https://www.rust-lang.org/learn/get-started

> The primary way that folks install Rust is through a tool called Rustup, which is a Rust installer and version management tool.

A couple of lines below

> curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh

There are no comments on this comment yet.