yfyf/idris-concstate-effect

an algebraic Effect in Idris for concurrent resource management

C