@hackage / chr-data

Datatypes required for chr library

Latest0.1.0.1

About

Metadata

  • Last updated , by AtzeDijkstra
  • License BSD-3-Clause
  • Categories Development

  • Maintained by: atzedijkstra@gmail.com

  • Lottery factor: 0

Links

Installation

Readme

Datatypes required for chr library, in particular searching on treestructures, lookup abstraction, substitutions, etc. These are also used (via uhc-util) in UHC.