Robuta

Sponsor of the Day: Jerkmate

https://www.catmonad.xyz/ Monadic Cat Stuff monadic cat stuff https://hackage.haskell.org/package/parsec parsec: Monadic parser combinators Monadic parser combinators parsec monadic parser combinators https://hackage.haskell.org/package/moffy moffy: Monadic Functional Reactive Programming Monadic Functional Reactive Programming functional reactive monadic programming https://hackage.haskell.org/package/explicit-sharing explicit-sharing: Explicit Sharing of Monadic Effects Explicit Sharing of Monadic Effects explicit sharing monadic effects https://arxiv.org/abs/1703.00055 [1703.00055] A Monadic Framework for Relational Verification: Applied to Information Security,... Abstract page for arXiv paper 1703.00055: A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and... information security 1703 00055 monadic framework