GitHub repository: shafilmaheenn/LTS2019
Primary language: Idris
Description: Web page, code for "Logic, Types Spaces 2019" at IISc