GitHub repository: AlgebraicWolf/idris2-misc
Primary language: Idris
Created: 2021-07-28T14:47:37Z
Description: Random idris excercises that are not worthy of their own repos