GitHub repository: rei1024/agda-misc
Primary language: Agda
Created: 2019-10-02T08:18:08Z
Description: Miscellaneous Agda code