GitHub repository: stefan-hoeck/idris2-freer
Primary language: Idris
Created: 2021-11-20T03:35:00Z
Description: Efficient, stack-safe implementation of freer monads.