GitHub repository: stefan-hoeck/idris2-svg
Primary language: Idris
Created: 2024-06-28T08:36:47Z
Description: Vector graphics in Idris2