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 = 64

Leave a Reply