Badge

 Student Asked first question with score of 1 or more.

Callum Rogers earned this badge

nov 12 at 6:59
Are two terms where one is without a $\lambda\beta$ normal form unconvertible in $\lambda\beta$?

Others with this badge