GitHub repository: pigworker/ProgrammerCommaCon
Primary language: Agda
Created: 2019-07-31T17:16:02Z
Description: being a collection of Agda-facilitated ramblings