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 *


+ one = 7

Leave a Reply