https://github.com/HerrmannM/eole

Éole, a Lévy-optimal lambda calculus evaluator without oracle
https://github.com/HerrmannM/eole

Last synced: 3 months ago
JSON representation

Éole, a Lévy-optimal lambda calculus evaluator without oracle

• Host: GitHub
• URL: https://github.com/HerrmannM/eole
• Owner: HerrmannM
• License: gpl-3.0
• Created: 2019-10-06T23:01:46.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2019-10-28T19:51:32.000Z (about 5 years ago)
• Last Synced: 2024-06-30T12:36:17.723Z (5 months ago)
• Language: Rust
• Homepage:
• Size: 281 KB
• Stars: 109
• Watchers: 6
• Forks: 4
• Open Issues: 4

Awesome Lists containing this project