https://github.com/ekmett/nbe-in-java-19

a throwaway implementation of normalization by evaluation
https://github.com/ekmett/nbe-in-java-19

Last synced: 21 days ago
JSON representation

a throwaway implementation of normalization by evaluation

• Host: GitHub
• URL: https://github.com/ekmett/nbe-in-java-19
• Owner: ekmett
• Created: 2022-07-20T13:32:58.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2022-07-20T13:34:54.000Z (over 2 years ago)
• Last Synced: 2024-05-08T20:18:02.270Z (6 months ago)
• Language: Java
• Size: 3.91 KB
• Stars: 13
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project