Skip to main content
chansey's user avatar
chansey's user avatar
chansey's user avatar
chansey
  • Member for 9 years, 5 months
  • Last seen more than a week ago
Profile Activity
Stats
1,399
reputation
26k
reached
33
answers
43
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
10
silver badges
21
bronze badges
Top tags
View all tags
17
Score
11
Posts
14
Posts %
13
Score
7
Posts
9
Posts %
10
Score
11
Posts
14
Posts %
7
Score
5
Posts
7
Posts %
6
Score
13
Posts
17
Posts %
6
Score
7
Posts
9
Posts %
Top posts
View all questions, answers, and articles
6
Clarify search algorithms in different minikanren implementation
Apr 13, 2021
6
Clarify search algorithms in different minikanren implementation
May 20, 2021
6
codeblocks error on win7 64bits
Nov 27, 2016
5
How is Prolog `shift`/`reset` like other languages?
Jul 5, 2022
5
category-extras needed, but the stack configuration has no specified version
Apr 20, 2020
5
Trait mixin with conflicting members: Why my code can be compiled successfully?
Aug 3, 2020
4
Using Letrec to swap variables
Mar 26, 2022
4
Compare two solution in a prolog call
Mar 8, 2022
4
How to `defun` a function in a package?
Aug 18, 2020
4
How to extract delimited continuation (reset/shift) for future use in Haskell?
Jul 1, 2022
Top network posts
View all network posts
19
Can a species have different ancestors?
10
What story does "Love Letter" tell?
6
Understanding $\lambda \mu$-calculus in more programming way
5
What's the final coalgebra of $F(S) = 1 + N \times S$ and initial algebra of $F(S) = N \times S$
5
Find the general formula for the generating function $g(x) = \frac{1}{1-x} \frac{1}{1-x^5} \frac{1}{1-x^{10}} \frac{1}{1-x^{25}} \frac{1}{1-x^{50}}$