https://github.com/jrp2014/nominal2

nominal: Binders and alpha-equivalence made easy
https://github.com/jrp2014/nominal2

Last synced: 1 day ago
JSON representation

nominal: Binders and alpha-equivalence made easy

• Host: GitHub
• URL: https://github.com/jrp2014/nominal2
• Owner: jrp2014
• License: gpl-3.0
• Created: 2018-11-10T10:41:32.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2018-11-10T12:15:41.000Z (almost 6 years ago)
• Last Synced: 2024-03-19T20:10:40.315Z (8 months ago)
• Language: Haskell
• Size: 53.7 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project