GitHub repository: ohad/paella
Primary language: Idris
Description: Parameterised algebraic effects library and language