Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/flandrade/lambda-calculus-haskell

beta-reduction church-encoding church-numerals haskell lambda-calculus

Last synced: about 2 months ago
JSON representation

The λ-calculus in Haskell

Host: GitHub
URL: https://github.com/flandrade/lambda-calculus-haskell
Owner: flandrade
License: mit
Created: 2023-01-14T15:17:26.000Z (about 2 years ago)
Default Branch: main
Last Pushed: 2023-06-05T19:43:17.000Z (over 1 year ago)
Last Synced: 2024-03-19T03:32:09.949Z (10 months ago)
Topics: beta-reduction, church-encoding, church-numerals, haskell, lambda-calculus
Language: Haskell
Homepage:
Size: 15.6 KB
Stars: 4
Watchers: 2
Forks: 0
Open Issues: 0