aristidb/kv-agda

Experiments with sorted associative data structures in Agda