GitHub repository: klausnat/fingertree
Primary language: Idris
Created: 2018-09-10T07:05:28Z
Description: fingertree: Generic finger-tree structure, with example instances. Idris