https://github.com/klausnat/fingertree

fingertree: Generic finger-tree structure, with example instances. Idris
https://github.com/klausnat/fingertree

Last synced: 2 months ago
JSON representation

fingertree: Generic finger-tree structure, with example instances. Idris

• Host: GitHub
• URL: https://github.com/klausnat/fingertree
• Owner: klausnat
• Created: 2018-09-10T07:05:28.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2018-10-07T10:42:25.000Z (over 6 years ago)
• Last Synced: 2025-04-14T20:18:14.470Z (2 months ago)
• Language: Idris
• Size: 74.2 KB
• Stars: 0
• Watchers: 0
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
Work in progress. Not for usage yet. 

Port of Haskell library: http://hackage.haskell.org/package/fingertree-0.1.4.1

# fingertree

fingertree: Generic finger-tree structure, with example instances. Idris

A general sequence representation with arbitrary annotations, for

use as a base for implementations of various collection types