GitHub repository: stefan-hoeck/idris2-epoll
Primary language: Idris
Created: 2024-07-30T18:52:37Z
Description: epoll bindings in Idris2