GitHub repository: stefan-hoeck/idris2-barbies
Primary language: Idris
Created: 2023-02-01T09:45:33Z
Description: Types that can change their clothes