The Stack Overflow podcast is back! Listen to an interview with our new CEO.
Computer Science
Network profile
219
reputation
1
6

while1fork

Apparently, this user prefers to keep an air of mystery about them.

1
answer
5
questions
~336
people reached
  • Member for 1 year, 4 months
  • 4 profile views
  • Last seen Oct 8 at 13:51

Communities (14)

Top network posts

Top tags (5)

Score 4
Posts 4
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (6) All Questions Answers | Votes Newest

5 Are there lambda-calculus functions which always output booleans, but are not constant functions? Mar 11
4 lambda-calc program which halts on only one input Oct 6
3 Decision problem that can be verified but not run in n^2 time Feb 26
2 lambda-calc program which halts on only one input Oct 6
2 Must a function in lambda-calculus which inputs a boolean function be defined in a certian way? Mar 11
2 Show how lack of universe levels would create contradiction in homotopy type theory (in Agda) Jun 15 '18

Badges (7)

Gold

—

Silver

1

Rarest

Bronze

6

Rarest