3 skills found
Monadic effects and equational reasoning in Rocq
Testing with monadic side-effects
Explicit Sharing of Monadic Effects
affeldt-aist / Monae
cjdev2 / Test Fixture
sebfisch / Explicit Sharing