GitHub repository: stefan-hoeck/idris2-uv
Primary language: Idris
Created: 2023-11-19T10:16:25Z
Description: Bindings to libuv for Idris2