{"ref":"cg-expose-internals","ref_type":"branch","master_branch":"master","description":"Dependently-typed finite maps (partial dependent products)","pusher_type":"user"}
{"actor":{"display_login":"ali-abrar"}}