GitHub repository: AOSSpresto/Agda
Primary language: Agda
Created: 2021-04-09T02:32:35Z
Description: 大学の講義でやったAgdaの復習や趣味でやったものの供養