{"ref":"usage-intervals-fix-case","ref_type":"branch","master_branch":"master","description":"Granule: a statically typed functional language with graded modal types for fine-grained program reasoning via types","pusher_type":"user"}
{"actor":{"display_login":"dorchard"}}