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