https://github.com/meditans/co-de-bruijn

https://github.com/meditans/co-de-bruijn

agda de-bruijn-notation lambda-calculus

Last synced: 14 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/meditans/co-de-bruijn
• Owner: meditans
• Created: 2018-04-29T13:37:06.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2018-05-05T08:49:22.000Z (almost 7 years ago)
• Last Synced: 2024-03-14T15:57:10.458Z (11 months ago)
• Topics: agda, de-bruijn-notation, lambda-calculus
• Language: Agda
• Size: 13.7 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project