Oh Category Theory! You can’t handle untyped Lambda Calculus! It is too strong.

Oh Category Theory! You can’t handle untyped Lambda Calculus! It is too strong.

Leave a comment

Your email address will not be published. Required fields are marked *


9 + = sixteen

Leave a Reply