https://github.com/sdiehl/church-numbers
Lambda Calculus in Python
https://github.com/sdiehl/church-numbers
Last synced: 3 months ago
JSON representation
Lambda Calculus in Python
- Host: GitHub
- URL: https://github.com/sdiehl/church-numbers
- Owner: sdiehl
- Created: 2010-08-22T00:08:18.000Z (about 15 years ago)
- Default Branch: master
- Last Pushed: 2011-04-08T23:28:57.000Z (over 14 years ago)
- Last Synced: 2025-01-21T21:47:27.173Z (9 months ago)
- Language: Python
- Homepage: http://www.stephendiehl.com/?p=66
- Size: 93.8 KB
- Stars: 2
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files: