https://github.com/clayrat/idris-trees

Trees in Idris
https://github.com/clayrat/idris-trees

tree

Last synced: 1 day ago
JSON representation

Trees in Idris

• Host: GitHub
• URL: https://github.com/clayrat/idris-trees
• Owner: clayrat
• Created: 2017-12-22T18:17:07.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2019-07-14T23:59:08.000Z (over 5 years ago)
• Last Synced: 2024-10-11T21:51:26.541Z (27 days ago)
• Topics: tree
• Language: Idris
• Size: 48.8 KB
• Stars: 5
• Watchers: 4
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project