https://github.com/glguy/agda-balanced-tree-example

My exercise in implementing the beginnings of a pure heap data structure and proving properties for the algorithms in Agda
https://github.com/glguy/agda-balanced-tree-example

Last synced: 3 months ago
JSON representation

My exercise in implementing the beginnings of a pure heap data structure and proving properties for the algorithms in Agda

• Host: GitHub
• URL: https://github.com/glguy/agda-balanced-tree-example
• Owner: glguy
• Created: 2010-02-12T09:48:05.000Z (over 16 years ago)
• Default Branch: master
• Last Pushed: 2010-02-12T09:49:13.000Z (over 16 years ago)
• Last Synced: 2025-10-26T11:14:11.018Z (7 months ago)
• Homepage:
• Size: 78.1 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project