GitHub repository: mattpolzin/idris-adds
Primary language: Idris
Created: 2021-01-18T02:56:27Z
Description: Random Idris 2 stuff that might be generally useful to me in the future.