Skip to main content
Theoretical Computer Science
molikto's user avatar
molikto's user avatar
molikto's user avatar
molikto
  • Member for 11 years, 8 months
  • Last seen more than a week ago
Profile Activity
Stats
347
reputation
3k
reached
0
answers
5
questions
Communities
View all
About

(my about me is currently not blank)

Badges
View all badges
This user doesn’t have any gold badges yet.
1
silver badge
10
bronze badges
Top tags
0
Score
5
Posts
100
Posts %
0
Score
2
Posts
40
Posts %
0
Score
2
Posts
40
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
Top posts
question
13
Is compiler for dependent type much harder than an intepreter?
Aug 27, 2013
question
6
What will go wrong if a recursive record type has a negative eta rule?
Mar 30, 2019
question
3
Model foreign keys as dependent types?
Apr 17, 2023
question
1
Definitional equality of recursive function definition by "infinite unfolding"
Feb 13, 2019
question
1
First-order multi arity functions in dependent type?
Mar 16, 2019
Top network posts
View all network posts
23
The relationship between libraries: Clutter, Cogl, Clutter, GTK+, etc
23
$X$ is Hausdorff if and only if the diagonal of $X\times X$ is closed
11
Connectedness of points with both rational or irrational coordinates in the plane?
10
A continuous image of a second countable space which is not second countable.
10
Is every compact space compactly generated?