No description, website, or topics provided.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
src
LICENSE
README.md
Setup.hs
privMonad.cabal
stack.yaml

README.md

privMonad

This is a (rough) demonstration of what it might be like to enforce privacy restrictions at the type level. A blog post is forthcoming, but for now, see Main.hs for a quick demonstration.