https://github.com/hazelgrove/agda-popl17

Mechanization of Hazelnut, as submitted to POPL 2017
https://github.com/hazelgrove/agda-popl17

Last synced: 2 days ago
JSON representation

Mechanization of Hazelnut, as submitted to POPL 2017

• Host: GitHub
• URL: https://github.com/hazelgrove/agda-popl17
• Owner: hazelgrove
• License: mit
• Created: 2016-07-01T19:11:22.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2021-11-24T19:57:31.000Z (almost 3 years ago)
• Last Synced: 2023-03-04T00:48:31.883Z (over 1 year ago)
• Language: Agda
• Homepage:
• Size: 506 KB
• Stars: 14
• Watchers: 4
• Forks: 0
• Open Issues: 1

Awesome Lists containing this project