GitHub repository: siddhartha-gadgil/LogicTypesSpaces
Primary language: Ruby
Description: Course blog source and (mostly Agda) code for a course on "Logic, Types and Spaces"