GitHub repository: siddhartha-gadgil/LTS2019
Primary language: Idris
Created: 2018-11-17T03:48:17Z
Description: Web page, code for "Logic, Types Spaces 2019" at IISc