Computer Science
Kazark's user avatar
Kazark's user avatar
Kazark's user avatar
Kazark
  • Member for 7 years, 10 months
  • Last seen more than 1 year ago
Profile Activity
Stats
253
reputation
674
reached
1
answer
4
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
8
bronze badges
Top tags
View all tags
1
Score
2
Posts
40
Posts %
1
Score
2
Posts
40
Posts %
1
Score
2
Posts
40
Posts %
1
Score
2
Posts
40
Posts %
1
Score
2
Posts
40
Posts %
0
Score
2
Posts
40
Posts %
Top posts
All Questions Answers
Score Newest
question
5
Type system for Query DSL with only simple GADTs: what typing judgments are needed?
Sep 27, 2018
question
5
How to write a coterminating, effectful program?
Oct 1, 2019
question
3
How to determine whether a dependent type that doesn't fit the monad instance is categorically a monad
Sep 26, 2018
question
1
Is the identity functor a kind of free object?
Apr 13, 2020
answer
1
Type system for Query DSL with only simple GADTs: what typing judgments are needed?
May 14, 2019
Top network posts
View all network posts
101
What is the difference between iterator and iterable and how to use them?
91
How can I get a block cursor in Vim in the Cygwin terminal?
59
How can I get a block cursor in Vim in the Cygwin terminal?
50
Change directory to previous directory in Powershell
40
What is the best way to do smooth scrolling in Vim?

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.