Mathematics
Network profile
147
reputation
8

ljedrz

In Rust we trust

3
answers
0
questions
~261
people reached
  • Warsaw, Poland
  • ljedrz
  • Member for 2 years, 8 months
  • 8 profile views
  • Last seen Apr 16 '18 at 19:58

Communities (6)

Top network posts

Top tags (4)

Score 3
Posts 3
Posts % 100
Score 2
Posts 2
Score 1
Posts 1
Score 1
Posts 1

Top posts (3) All Questions Answers | Votes Newest

1 How to check an implementation of call-by-need is correct? Jan 12 '18
1 Some simple operators in the Lambda calculus and their interpretation Feb 23 '18
1 Evaluating the lambda expression $(𝜆𝑥𝑦.𝑥𝑥𝑦)(𝜆𝑥.𝑥𝑦)(𝜆𝑥.𝑥𝑧)$ Mar 18 '18

Badges (8)

Gold

—

Silver

—

Bronze

8

Rarest