{"ref":"hw3","ref_type":"branch","master_branch":"master","description":"Материалы и задания по курсу \"Программирование с зависимыми типами\" 2018 года","pusher_type":"user"}
{"actor":{"display_login":"cripson1994"}}