idris-effekt. Delimited control effects in Idris

github.com/b-studios/idris-effekt

by

@b-studios

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.