{"pages":[{"page_name":"Types-and-Programming-Languages-Chapters-6-&-7-An-ML-Implementation-of-the-Lambda-Calculus","title":"Types and Programming Languages Chapters 6 & 7 An ML Implementation of the Lambda Calculus","summary":null,"action":"edited","sha":"c4140a14804b2aef463c571e76cd5d922bec8790","html_url":"/computationclub/computationclub.github.io/wiki/Types-and-Programming-Languages-Chapters-6-%26-7-An-ML-Implementation-of-the-Lambda-Calculus"}]}
{"actor":{"display_login":"urbanautomaton"}}