marcoheisig /restricted-functions

Reasoning about functions with restricted argument types.

View project on GitHub