@hackage / faceted

Faceted computation for dynamic information flow security