https://github.com/vmchale/linear-zipper

Zippers (a la Huet) in ATS
https://github.com/vmchale/linear-zipper

ats data-structures functional-data-structure huet linear-types zipper

Last synced: 7 days ago
JSON representation

Zippers (a la Huet) in ATS

• Host: GitHub
• URL: https://github.com/vmchale/linear-zipper
• Owner: vmchale
• License: bsd-3-clause
• Created: 2020-02-28T18:18:51.000Z (almost 5 years ago)
• Default Branch: master
• Last Pushed: 2020-07-09T17:19:50.000Z (over 4 years ago)
• Last Synced: 2024-11-10T23:33:33.718Z (2 months ago)
• Topics: ats, data-structures, functional-data-structure, huet, linear-types, zipper
• Language: ATS
• Size: 12.7 KB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# linear-zipper

Zippers à la

[Huet](https://www.st.cs.uni-saarland.de/edu/seminare/2005/advanced-fp/docs/huet-zipper.pdf).