{"payload":{"header_redesign_enabled":false,"results":[{"id":"1111268","archived":true,"color":"#315665","followers":311,"has_funding_file":false,"hl_name":"liamoc/learn-you-an-agda","hl_trunc_description":"Learn you an Agda (and achieve enlightenment)","language":"Agda","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":1111268,"name":"learn-you-an-agda","owner_id":61991,"owner_login":"liamoc","updated_at":"2018-02-13T12:50:37.002Z","has_issues":true}},"sponsorable":false,"topics":[],"type":"Public archive","help_wanted_issues_count":0,"good_first_issue_issues_count":0,"starred_by_current_user":false}],"type":"repositories","page":1,"page_count":1,"elapsed_millis":74,"errors":[],"result_count":1,"facets":[],"protected_org_logins":[],"topics":null,"query_id":"","logged_in":false,"sign_up_path":"/signup?source=code_search_results","sign_in_path":"/login?return_to=https%3A%2F%2Fgithub.com%2Fsearch%3Fq%3Drepo%253Aliamoc%252Flearn-you-an-agda%2B%2Blanguage%253AAgda","metadata":null,"csrf_tokens":{"/liamoc/learn-you-an-agda/star":{"post":"Z8HYal5K75nVrXnX5BlsJPhcWnEzwqnTveP0hZqJgrwi4NgFpB8G5-uKQi-aVHTixwlKplOJ0GH8hjXZcmHeMA"},"/liamoc/learn-you-an-agda/unstar":{"post":"0gmm6XNPPeYrVkM_7N4076Ze2DbzbxG4q_jpo2q-zgw-GEAW8TT3TBCcw1OG6naL2F-HD8zJtQzsiTT73Y251g"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"tBzAncbCn-yq_Lxgzv0aCGwlMXIrhox4WmYb4OTPEn7GEOnTWlxREbjvojSpu6AoMpsVT_UVFKdBGoeXthBIvQ"}}},"title":"Repository search results"}