Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/slovnicki/pLam
An interpreter for learning and exploring pure λ-calculus
https://github.com/slovnicki/pLam
church church-encoding computability computability-theory functional-programming interpreter lambda lambda-calculus language logic-programming numeral-systems programming-language
Last synced: 3 months ago
JSON representation
An interpreter for learning and exploring pure λ-calculus
- Host: GitHub
- URL: https://github.com/slovnicki/pLam
- Owner: slovnicki
- License: mit
- Created: 2017-08-05T15:32:04.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2021-04-11T23:18:57.000Z (over 3 years ago)
- Last Synced: 2024-07-05T13:54:50.590Z (4 months ago)
- Topics: church, church-encoding, computability, computability-theory, functional-programming, interpreter, lambda, lambda-calculus, language, logic-programming, numeral-systems, programming-language
- Language: Haskell
- Homepage:
- Size: 1.1 MB
- Stars: 445
- Watchers: 9
- Forks: 17
- Open Issues: 4
-
Metadata Files:
- Readme: README.md
- License: LICENSE