A functional type system for policy inspection, audit and enforcement.
Primary LanguageRustApache License 2.0Apache-2.0