Skip to main content
idka's user avatar
idka's user avatar
idka's user avatar
idka
  • Member for 9 years, 4 months
  • Last seen this week
Profile Activity

Stats

131
reputation
2k
reached
2
answers
8
questions
Communities

Badges

This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
8
bronze badges

Top tags

View all tags
1
Score
2
Posts
20
Posts %
0
Score
5
Posts
50
Posts %
0
Score
2
Posts
20
Posts %
0
Score
2
Posts
20
Posts %
0
Score
1
Posts
10
Posts %
0
Score
1
Posts
10
Posts %

Top posts

question
4
Constraining Growing Trees: Type families and Type classes
Apr 6, 2023
question
3
Mixfix Parser Bug: Infix Right Associative Operators failing
Mar 28, 2023
question
2
Monad Transformers in an Interpeter
Oct 16, 2022
answer
1
How to prevent text view from outgrowing window gtk4
Jul 16, 2023
question
1
How to prevent text view from outgrowing window gtk4
Jul 13, 2023
question
1
Type system troubles: RankNTypes + Typeclasses
Nov 24, 2022
answer
0
Mixfix Parser Bug: Infix Right Associative Operators failing
Mar 29, 2023
question
0
Adding stack information to jit'd code for sanitization
3 hours ago
question
0
Will c++ create multiple instances of function from template with non-type parameters
Jun 6, 2019
question
0
Setting a return on a function to be different depending on button clicked in tkinter
Jul 2, 2016

Top network posts

View all network posts
7
Can you regain the Church-Rosser property in languages with continuations?
5
Mere propositions and Consistency with Impredicativity, Excluded Middle and Large Elimination