{"payload":{"header_redesign_enabled":false,"results":[{"id":"15538537","archived":false,"color":"#b30000","followers":13,"has_funding_file":false,"hl_name":"edwinb/Eff-new","hl_trunc_description":"New version of Effects library with dependent states","language":"Idris","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":15538537,"name":"Eff-new","owner_id":255926,"owner_login":"edwinb","updated_at":"2014-01-14T16:33:50.359Z","has_issues":true}},"sponsorable":false,"topics":[],"type":"Public","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":51,"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%253Aedwinb%252FEff-new%2B%2Blanguage%253AIdris","metadata":null,"csrf_tokens":{"/edwinb/Eff-new/star":{"post":"L4Hdht9KquPCPGSP_gLPD_k4Z5hmbKB-MvCMTjschaMszkI1nZfrdcAr9qjYImmrXXtn4BN1_5k7x5Ei6eFL5Q"},"/edwinb/Eff-new/unstar":{"post":"qETUluHxDVsIstrNqHWW-yrnMboyRfYS9rDYiuj5CgAT_sl5JI-p7bSFJLxyGDbApWOEc4ePbGQ5pCNchHHf3w"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"ieidnG4b5cTZ-qIspD6w9E4prWT7VZawp4iHckOznOMMQfvn0lOk0iZ2JJiwGxIURqMGAFpeqeqUiNzxNEbFQA"}}},"title":"Repository search results"}