GitHub repository: stefan-hoeck/idris2-eff
Primary language: Idris
Created: 2021-11-22T20:16:06Z
Description: Extensible,stack safe effects for Idris2