GitHub repository: stefan-hoeck/idris2-streams
Primary language: Idris
Description: Functional, effectful streams with resource management