GitHub repository: ziman/ttstar
Primary language: Idris
Created: 2015-05-16T11:58:56Z
Description: Dependently typed core calculus with erasure