{"id":13837488,"url":"https://github.com/solomon-b/lambda-calculus-hs","last_synced_at":"2025-03-21T13:31:43.267Z","repository":{"id":104399694,"uuid":"244288033","full_name":"solomon-b/lambda-calculus-hs","owner":"solomon-b","description":"Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques","archived":false,"fork":false,"pushed_at":"2023-06-15T19:36:35.000Z","size":728,"stargazers_count":42,"open_issues_count":4,"forks_count":3,"subscribers_count":1,"default_branch":"main","last_synced_at":"2024-05-02T05:02:49.381Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/solomon-b.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2020-03-02T05:28:42.000Z","updated_at":"2024-05-30T04:34:25.630Z","dependencies_parsed_at":"2024-05-30T04:34:16.752Z","dependency_job_id":"c40d8113-8b3f-4045-abce-a857b6bb6d8e","html_url":"https://github.com/solomon-b/lambda-calculus-hs","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/solomon-b%2Flambda-calculus-hs","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/solomon-b%2Flambda-calculus-hs/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/solomon-b%2Flambda-calculus-hs/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/solomon-b%2Flambda-calculus-hs/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/solomon-b","download_url":"https://codeload.github.com/solomon-b/lambda-calculus-hs/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":221815672,"owners_count":16885201,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","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":[],"created_at":"2024-08-04T15:01:11.414Z","updated_at":"2024-10-28T10:12:53.673Z","avatar_url":"https://github.com/solomon-b.png","language":"Haskell","readme":"# Lambda Calculus Examples\n\nA series of Lambda Calculus implementations starting from Simply Typed\nevaluation, then work up through bidirectional typechecking,\nnormalization by evaluation, elaboration and then various type system\nextensions.\n\nThe goal is to provide best practices examples of all the features you\nmight want to include in your custom language in one place.\n\n- [X] SimplyTypedEvaluation\n- [X] BidirectionalTypechecking\n- [X] NormalizationByEvaluation\n- [X] Elaboration\n- [X] TypedHoles\n- [X] SystemT\n- [X] Records\n- [X] Subtyping\n- [X] Inductive Types (with eliminator based pattern matching)\n- [ ] Row Polymorphism\n- [ ] System F\n- [ ] System Omega\n- [ ] Linear Types\n- [ ] Case-Trees\n- [ ] Martin-Lof Type Theory (Pi and Sigma Types)\n- [ ] Equality\n","funding_links":[],"categories":["Haskell"],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsolomon-b%2Flambda-calculus-hs","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsolomon-b%2Flambda-calculus-hs","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsolomon-b%2Flambda-calculus-hs/lists"}