GitHub repository: HMDeadline/LP-Solutions
Primary language: TeX
Description: An experiment to gather solutions to the exercises of the books "Lambda Calculi with Types" by Barendregt and "Domain-Theoretic Foundations of Functional Programming" by Streicher