JoshuaJakowlew / constrained

Utility library that helps expressing invariants in types

Geek Repo

Github PK Tool