@hackage / type-level-bst

type-level binary search trees in haskell

Latest0.1

Metadata

Last updated 28 Oct 2014, by Kinokkory
License BSD-3-Clause
Categories Data Structures
Maintained by: Yusuke Matsushita <y.skm24t@gmail.com>
Lottery factor: 0

Links

Installation

Add this line in your cabal file

Readme

An efficient implementation of type-level binary search trees and of dependently-typed extensible records and unions.

More information can be found in the hackage's haddock or the updated haddock.