Enlightened - Badge - Computer Science Stack Exchange

Enlightened

First to answer and accepted with score of 10 or more. This badge can be awarded multiple times.

Petr

2,05714 silver badges21 bronze badges

earned this badge 3 times.

Generating 3SAT circuit for Integer factorization example

Awarded Mar 24 at 21:21

Clear, intuitive derivation of the fixed-point combinator (Y combinator)?

Awarded Jun 6 '14 at 21:00

Free variables of (λx.xy)x and bound variables of λxy.x

Awarded Sep 2 '12 at 3:40

Others with this badge

Computer Science Stack Exchange works best with JavaScript enabled