GitHub repository: youqad/Type-Theory
Primary language: Agda
Created: 2017-06-29T14:06:11Z
Description: Nottingham Internship