GitHub repository: stanosphere/agda-learning
Primary language: Agda
Created: 2022-05-11T21:23:08Z
Description: Learning about agda at Elliptic