{"id":16559698,"url":"https://github.com/psub/tpl-notes","last_synced_at":"2026-02-05T04:33:42.150Z","repository":{"id":136380092,"uuid":"17433579","full_name":"pSub/tpl-notes","owner":"pSub","description":null,"archived":false,"fork":false,"pushed_at":"2014-03-05T10:28:34.000Z","size":136,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-07-10T03:53:36.350Z","etag":null,"topics":["programming-language","type-system","type-theory"],"latest_commit_sha":null,"homepage":null,"language":"TeX","has_issues":false,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/pSub.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2014-03-05T08:49:54.000Z","updated_at":"2023-12-03T22:53:44.000Z","dependencies_parsed_at":"2023-03-12T01:26:33.304Z","dependency_job_id":null,"html_url":"https://github.com/pSub/tpl-notes","commit_stats":null,"previous_names":[],"tags_count":7,"template":false,"template_full_name":null,"purl":"pkg:github/pSub/tpl-notes","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pSub%2Ftpl-notes","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pSub%2Ftpl-notes/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pSub%2Ftpl-notes/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pSub%2Ftpl-notes/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/pSub","download_url":"https://codeload.github.com/pSub/tpl-notes/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pSub%2Ftpl-notes/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29111909,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-05T03:44:17.043Z","status":"ssl_error","status_checked_at":"2026-02-05T03:44:12.077Z","response_time":65,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.5:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["programming-language","type-system","type-theory"],"created_at":"2024-10-11T20:26:51.244Z","updated_at":"2026-02-05T04:33:42.135Z","avatar_url":"https://github.com/pSub.png","language":"TeX","funding_links":[],"categories":[],"sub_categories":[],"readme":"# what is this?\n\nthese are or will be “notes” (or maybe a cheat sheet) for the lecture\ntype systems of programming languages \u003chttp://www.stg.tu-darmstadt.de/teaching/courses/wise_2013_14/tspl_wise_2013_14/index_tspl_wise_2013_14.en.jsp\u003e\n\n# what can you do with this?\n\ndo whatever you want.\nthe documents in this repository are public domain.\nif public domain does not work for you,\nyou may also buy this for cookies (mail me for prices).\nif you find this useful, great.\nif not see the next section.\n\n# want to contribute?\n\nif there is something wrong,\nor something you think should be added.\njust drop me a note wherever reachable (mail, issue, i do read the course forum etc.)\n\npatches pull requests or changes/additions in any other form are appreciated\n(please do not send me any word/openoffice documents)\nand i will try to incorporate them,\nbut please make clear that you accept your contributions to be public domain as well.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fpsub%2Ftpl-notes","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fpsub%2Ftpl-notes","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fpsub%2Ftpl-notes/lists"}