Move over #rust, there is a new fancy kid in town! #saltlang #salt #programming
1
Discussion
Loading...
Post
@vazub only 3 of the examples contain some requirements for a proof, the hello world example contains none. 2 of the examples you can trivally express with the Rust type system (NonZero) and/or const. :)