An alternative, composable model of RoleAnnotations via type classes
Why do you think that https://github.com/GaloisInc/abcBridge is a good alternative to roles
An alternative, composable model of RoleAnnotations via type classes
Why do you think that https://github.com/GaloisInc/abcBridge is a good alternative to roles