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 *


+ eight = 17

Leave a Reply