{"payload":{"header_redesign_enabled":false,"results":[{"id":"79116946","archived":false,"color":"#ef7a08","followers":0,"has_funding_file":false,"hl_name":"HamidiMassinissa/typage-m2","hl_trunc_description":"Type checking, type inference, Church, Curry, polymorphe types, Unification theory, ... All type theory related ","language":"OCaml","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":79116946,"name":"typage-m2","owner_id":8298445,"owner_login":"HamidiMassinissa","updated_at":"2017-03-31T18:10:09.131Z","has_issues":true}},"sponsorable":false,"topics":["lambda-calculus","type-theory","type-inference","unification"],"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":93,"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%253AHamidiMassinissa%252Ftypage-m2%2B%2Blanguage%253AOCaml","metadata":null,"csrf_tokens":{"/HamidiMassinissa/typage-m2/star":{"post":"rjWCbXnc16g0ZdmMG2EAONTt9JjA2WCbWH1ck0bo9q6HrotRRmzMujA0NeAufdJDgFThHBGWzlcEASZ9YTR2Aw"},"/HamidiMassinissa/typage-m2/unstar":{"post":"vTi95Yucfnpc6GxFkYA9YRb07oLVyLuKVS-xYeIlaiEW7aM6l0A4D5tm5xjf3FNnXOwJKcXnh9JexR2xqdkgRA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"p6c6Bp4lWqbu2ZyokCTjqRxDVjLWxqSjSnCH3ju-_p8qlV3P1WGTJUVX1O7VPOcQmnZEvaIWOdzS2RuIr0Tg1g"}}},"title":"Repository search results"}