0·
3 months ago@BB_C disclaimer - no llm , I am following a book
brokenix
> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
> https://git.sr.ht/~carnotweat/morning-rust
- 1 Post
- 2 Comments
Joined 1 year ago
Cake day: May 30th, 2023
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
@rust @learningrustandlemmy
I might have missed some subtle syntactical difference here, I guess
aas in
Vec<...>is a type definition, andVec::<...>is referring to the struct itself, but with a type parameter given.context - https://www.reddit.com/r/learnrust/comments/exmqyc/what_are_the_rules_for_turbofish/