/blood_contracts-ext

Refinement types in Ruby, extended with several concerns and integrated with Tram::Policy

Primary LanguageRubyMIT LicenseMIT

No issues in this repository yet.