https://github.com/jonsterling/agda-zipper-machine

An abstract machine using indexed containers and their zippers
https://github.com/jonsterling/agda-zipper-machine

Last synced: 20 days ago
JSON representation

An abstract machine using indexed containers and their zippers

• Host: GitHub
• URL: https://github.com/jonsterling/agda-zipper-machine
• Owner: jonsterling
• Created: 2016-12-28T03:34:55.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2016-12-29T20:20:40.000Z (almost 8 years ago)
• Last Synced: 2023-03-11T15:52:52.434Z (over 1 year ago)
• Language: Agda
• Size: 6.84 KB
• Stars: 14
• Watchers: 5
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project