GitHub repository: stefan-hoeck/idris2-graph
Primary language: Idris
Created: 2022-05-10T09:32:43Z
Description: Sparse, simple graphs in Idris2