Skip to main content
Jisuk Byun's user avatar
Jisuk Byun's user avatar
Jisuk Byun's user avatar
Jisuk Byun
  • Member for 5 years, 10 months
  • Last seen more than a week ago
Profile Activity
Stats
65
reputation
7k
reached
1
answer
3
questions
Communities
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
6
bronze badges
Top tags
3
Score
1
Posts
25
Posts %
0
Score
3
Posts
75
Posts %
0
Score
2
Posts
50
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
Top posts
3
Coq error: The reference evenb was not found in the current environment
Sep 12, 2018
1
How to make a value of type which is defined with module in OCaml?
Jan 8, 2020
1
How Recursive types with no leaf cases can be accepted in OCaml?
May 3, 2020
0
Why is the OCaml type conversion function named in the form "A_of_B"?
Jan 13, 2020