{"ref":"errorMsg","ref_type":"branch","master_branch":"master","description":"Implementation of a small type system for the Prolog programming language","pusher_type":"user"}
{"actor":{"display_login":"sturmsebastian"}}