Area 51
darque's user avatar
darque's user avatar
darque's user avatar
darque
  • Member for 2 years
  • Last seen more than 2 years ago
Profile Activity
Stats
151
reputation
0
reached
1
answer
0
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
1
bronze badge
Top tags
-2
Score
1
Posts
100
Posts %
-2
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
answer
-2
Choosing a name for the Proof Assistants site
Nov 25, 2021
Top network posts
View all network posts
38
Delete first and last line or record from file using sed
32
How to build an Rc<str> or Rc<[T]>?
11
Cannot borrow as mutable more than once at a time in one code - but can in another very similar
11
How to map a parametrized enum from a generic type to another?
11
Is there a Rust library with an UTF-16 string type? (intended for writing a Javascript interpreter)

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.