GitHub repository: karljakoblarsson/types-notes
Primary language: HTML
Created: 2017-10-12T09:08:23Z
Description: Lecture notes taken in the Chalmers course Types for Programs and proofs.