https://github.com/hazelgrove/hazelnut-dynamics-paper

Paper exploring the dynamic semantics of Hazelnut
https://github.com/hazelgrove/hazelnut-dynamics-paper

Last synced: 2 days ago
JSON representation

Paper exploring the dynamic semantics of Hazelnut

• Host: GitHub
• URL: https://github.com/hazelgrove/hazelnut-dynamics-paper
• Owner: hazelgrove
• Created: 2016-08-24T13:50:29.000Z (about 8 years ago)
• Default Branch: master
• Last Pushed: 2018-11-20T19:42:16.000Z (almost 6 years ago)
• Last Synced: 2024-11-12T05:16:50.370Z (2 days ago)
• Language: TeX
• Homepage:
• Size: 35.5 MB
• Stars: 5
• Watchers: 7
• Forks: 2
• Open Issues: 2
• Metadata Files:

Awesome Lists containing this project