GitHub repository: CodingCellist/idris2-buffered-channels
Primary language: Idris
Description: An attempt at implementing various channels for inter-process communication in Idris2