heading back to untyped Lambda Calculus. I really wanted to spend some quality time in category theory too.

heading back to untyped Lambda Calculus. I really wanted to spend some quality time in category theory too.

Leave a comment

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


+ 6 = twelve

Leave a Reply