Description
Functor-parametric containers.
Description
A dependently-typed key-value data structure that allows for storage of both "queries", (wherein keys are stored along with reasons for selecting the items or counts of the number of times something has been selected), as well as the responses to those queries, in which the type of the key additionally determines the type of the response
README.md
vessel: functor-parametric containers
See the tutorial for a worked example of how to use this library.
