https://github.com/phadej/debruijn

de Bruijn indices and levels for well-scoped terms
https://github.com/phadej/debruijn

Last synced: 10 days ago
JSON representation

de Bruijn indices and levels for well-scoped terms

• Host: GitHub
• URL: https://github.com/phadej/debruijn
• Owner: phadej
• Created: 2023-02-27T20:27:02.000Z (over 1 year ago)
• Default Branch: master
• Last Pushed: 2024-09-08T16:08:46.000Z (about 2 months ago)
• Last Synced: 2024-10-11T23:53:20.240Z (26 days ago)
• Language: Haskell
• Size: 90.8 KB
• Stars: 3
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project