https://github.com/iitalics/agdasnake

Compiler implementation in Agda, inspired by Benjamin Lerner's slithery compilers course
https://github.com/iitalics/agdasnake

Last synced: 9 days ago
JSON representation

Compiler implementation in Agda, inspired by Benjamin Lerner's slithery compilers course

• Host: GitHub
• URL: https://github.com/iitalics/agdasnake
• Owner: iitalics
• Created: 2019-04-04T17:07:27.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2019-04-16T04:37:49.000Z (over 5 years ago)
• Last Synced: 2023-04-05T02:11:16.998Z (over 1 year ago)
• Language: Agda
• Homepage:
• Size: 23.4 KB
• Stars: 3
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project