https://github.com/tom-weatherhead/facility
A Lambda Calculus interpreter implemented in C.
https://github.com/tom-weatherhead/facility
beta-reduction c church-numerals de-bruijn-notation graph-reduction interpreter lambda-calculus y-combinator
Last synced: 4 months ago
JSON representation
A Lambda Calculus interpreter implemented in C.
- Host: GitHub
- URL: https://github.com/tom-weatherhead/facility
- Owner: tom-weatherhead
- License: mit
- Created: 2022-08-22T22:11:03.000Z (almost 3 years ago)
- Default Branch: master
- Last Pushed: 2022-08-27T02:23:32.000Z (almost 3 years ago)
- Last Synced: 2025-01-17T22:27:00.901Z (5 months ago)
- Topics: beta-reduction, c, church-numerals, de-bruijn-notation, graph-reduction, interpreter, lambda-calculus, y-combinator
- Language: C
- Homepage:
- Size: 127 KB
- Stars: 1
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# facility
Simplicity and ability.
A Lambda Calculus interpreter implemented in C.
[![watchers][watchers-badge-image]][watchers-url]
[![stars][stars-badge-image]][stars-url]
[![issues][issues-badge-image]][issues-url]
[![forks][forks-badge-image]][forks-url]
[![contributors][contributors-badge-image]][contributors-url]
[![branches][branches-badge-image]][branches-url]
[![releases][releases-badge-image]][releases-url]
[![commits][commits-badge-image]][commits-url]
[![last commit][last-commit-badge-image]][last-commit-url]
[![license][license-badge-image]][license-url]
## To compile and run facility
First, ensure that gcc and make are installed.
After cloning this repository, cd into its directory and do this:
```sh
$ cd src
$ make
$ ./facility
```
## License
[MIT](https://choosealicense.com/licenses/mit/)
[watchers-badge-image]: https://badgen.net/github/watchers/tom-weatherhead/facility
[watchers-url]: https://github.com/tom-weatherhead/facility/watchers
[stars-badge-image]: https://badgen.net/github/stars/tom-weatherhead/facility
[stars-url]: https://github.com/tom-weatherhead/facility/stargazers
[issues-badge-image]: https://badgen.net/github/issues/tom-weatherhead/facility
[issues-url]: https://github.com/tom-weatherhead/facility/issues
[forks-badge-image]: https://badgen.net/github/forks/tom-weatherhead/facility
[forks-url]: https://github.com/tom-weatherhead/facility/network/members
[contributors-badge-image]: https://badgen.net/github/contributors/tom-weatherhead/facility
[contributors-url]: https://github.com/tom-weatherhead/facility/graphs/contributors
[branches-badge-image]: https://badgen.net/github/branches/tom-weatherhead/facility
[branches-url]: https://github.com/tom-weatherhead/facility/branches
[releases-badge-image]: https://badgen.net/github/releases/tom-weatherhead/facility
[releases-url]: https://github.com/tom-weatherhead/facility/releases
[commits-badge-image]: https://badgen.net/github/commits/tom-weatherhead/facility
[commits-url]: https://github.com/tom-weatherhead/facility/commits/master
[last-commit-badge-image]: https://badgen.net/github/last-commit/tom-weatherhead/facility
[last-commit-url]: https://github.com/tom-weatherhead/facility
[license-badge-image]: https://img.shields.io/github/license/mashape/apistatus.svg
[license-url]: https://github.com/tom-weatherhead/thaw-grammar/blob/master/LICENSE