GitHub repository: scmu/foundations-harper
Primary language: Agda
Created: 2016-03-25T03:18:31Z
Description: Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.