https://github.com/sweirich/lambda-n-ways

Benchmarks for capture-avoiding substitution
https://github.com/sweirich/lambda-n-ways

Last synced: 3 months ago
JSON representation

Benchmarks for capture-avoiding substitution

• Host: GitHub
• URL: https://github.com/sweirich/lambda-n-ways
• Owner: sweirich
• License: mit
• Created: 2021-07-22T14:53:07.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2022-10-18T20:24:00.000Z (about 2 years ago)
• Last Synced: 2024-02-17T09:37:06.060Z (9 months ago)
• Language: HTML
• Homepage:
• Size: 103 MB
• Stars: 99
• Watchers: 5
• Forks: 4
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE

Awesome Lists containing this project