@hackage safe-access0.2.1.2

A simple environment to control access to data

This is a small capability-based interface to check legitimacy of accesses in different parts of the program depending on the context in which the data is accessed. See the README.md in the repository for a longer explanation and an example.