{"id":15637491,"url":"https://github.com/ilya-klyuchnikov/lambdapi","last_synced_at":"2025-04-15T21:23:16.808Z","repository":{"id":8858071,"uuid":"10568026","full_name":"ilya-klyuchnikov/lambdapi","owner":"ilya-klyuchnikov","description":"Dependently Typed Lambda Calculus in Haskell","archived":false,"fork":false,"pushed_at":"2021-03-08T16:08:08.000Z","size":68,"stargazers_count":114,"open_issues_count":0,"forks_count":21,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-03-29T01:24:11.118Z","etag":null,"topics":["dependent-types","programming-language"],"latest_commit_sha":null,"homepage":"","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/ilya-klyuchnikov.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2013-06-08T12:00:31.000Z","updated_at":"2025-03-04T10:07:49.000Z","dependencies_parsed_at":"2022-08-27T20:52:14.847Z","dependency_job_id":null,"html_url":"https://github.com/ilya-klyuchnikov/lambdapi","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/ilya-klyuchnikov%2Flambdapi","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ilya-klyuchnikov%2Flambdapi/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ilya-klyuchnikov%2Flambdapi/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ilya-klyuchnikov%2Flambdapi/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/ilya-klyuchnikov","download_url":"https://codeload.github.com/ilya-klyuchnikov/lambdapi/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":249155100,"owners_count":21221538,"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":["dependent-types","programming-language"],"created_at":"2024-10-03T11:11:53.743Z","updated_at":"2025-04-15T21:23:16.787Z","avatar_url":"https://github.com/ilya-klyuchnikov.png","language":"Haskell","funding_links":[],"categories":[],"sub_categories":[],"readme":"## Dependently Typed Lambda Calculus\n\nThis project is reorganization of the source code for the paper\n[A Tutorial Implementation of a Dependently Typed Lambda Calculus](http://www.andres-loeh.de/LambdaPi/).\n\nThe goal of this project is to make code readable and understandable.\n\nAn interested reader may also look at [this darcs repo](http://sneezy.cs.nott.ac.uk/darcs/LambdaPi/).\n\nThe goal of this project is to make reading and navigation of the code as simple as possible.\n\n### How to play with examples\n\nSimply Typed Lambda Calculus\n\n```\n$ stack run st\nInterpreter for the simply typed lambda calculus.\nType :? for help.\nST\u003e :load prelude.st\n```\n\nDependently Typed Lambda Calculus\n\n```\n$ stack run lp\nInterpreter for lambda-Pi.\nType :? for help.\nLP\u003e :load prelude.lp\n```\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Filya-klyuchnikov%2Flambdapi","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Filya-klyuchnikov%2Flambdapi","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Filya-klyuchnikov%2Flambdapi/lists"}