Skip to main content
The 2024 Developer Survey results are live! See the results
Andrey's user avatar
Andrey's user avatar
Andrey's user avatar
Andrey
  • Member for 1 year, 11 months
  • Last seen more than a week ago
Profile Activity
Stats
71
reputation
468
reached
1
answer
4
questions
Communities
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges
Top tags
View all tags
0
Score
5
Posts
100
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
Top posts
3
Class syntax on dependent type
Nov 15, 2023
3
Primes using setjmp
Jul 9
1
MonadIO containing resource
Nov 22, 2023
0
Turn endomorphisms into Applicative
Nov 6, 2023
0
MonadIO containing resource
Nov 24, 2023