GitHub - aristidb/kv-agda: Experiments with sorted associative data structures in Agda

aristidb / kv-agda Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

Experiments with sorted associative data structures in Agda

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 37 Commits
.gitignore		.gitignore
README		README
kv.agda		kv.agda
patch.agda		patch.agda
test.agda		test.agda

Repository files navigation

Here, I want to experiment with key-value stores. More precisely, associative arrays that
are sorted by their key, and allow things like range queries.

Things I'd like to play with: patches on key-value stores, and building data structures on
top of them. Also, I just like playing with Agda.