Information Flow Control for Haskell applications
Why do you think that https://github.com/meiersi/scyther-proof is a good alternative to lmonad
Information Flow Control for Haskell applications
Why do you think that https://github.com/meiersi/scyther-proof is a good alternative to lmonad