Skip to main content
Labbekak's user avatar
Labbekak's user avatar
Labbekak's user avatar
Labbekak
  • Member for 13 years, 8 months
  • Last seen this week
  • Netherlands
Profile Activity
Stats
527
reputation
6k
reached
4
answers
10
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
15
bronze badges
Top tags
View all tags
0
Score
4
Posts
29
Posts %
0
Score
2
Posts
14
Posts %
0
Score
2
Posts
14
Posts %
0
Score
2
Posts
14
Posts %
0
Score
2
Posts
14
Posts %
0
Score
1
Posts
7
Posts %
Top posts
View all questions, answers, and articles
11
Identity function in Haskell has multiple inhabitants?
Apr 29, 2020
8
Playing a chord with OscillatorNodes using the Web Audio API
Jan 13, 2013
5
In a dependently typed programming language is Type-in-Type practical for programming?
May 21, 2020
4
Coq: induction principles for void, unit and bool from nat and fin
Sep 3, 2020
3
J, creating a function
Nov 21, 2010
3
J, the unfindable verb
Nov 26, 2010
2
Given a church encoded numeral as closure result from a CEK-machine, how to get back the number?
Apr 1, 2019
2
Addition for binary natural numbers using primitive recursion
Apr 20, 2019
2
Is every type constructor (`Type -> Type`) some kind of functor
Mar 23, 2021
1
Code Golf: Validate Sudoku Grid
Feb 5, 2011
Top network posts
View all network posts
11
Why does Coq include let-expressions in its core language
8
Question on subtyping of handlers in "An Effect System for Algebraic Effects and Handlers"
7
Termination checking for Scott-encodings in System F with positive-recursive types
7
Example of a function that you can write in Calculus of Constructions but not in System-F
5
Locally-nameless normalization